Implement a different method to render whitespace, using a separate layer

This commit is contained in:
Alex Dima
2022-12-09 22:27:16 +01:00
parent d851f45549
commit e8a3e2ef8b
8 changed files with 523 additions and 209 deletions

View File

@@ -29,6 +29,10 @@ export class ViewOverlays extends ViewPart implements IVisibleLinesHost<ViewOver
this._visibleLines = new VisibleLinesCollection<ViewOverlayLine>(this);
this.domNode = this._visibleLines.domNode;
const options = this._context.configuration.options;
const fontInfo = options.get(EditorOption.fontInfo);
applyFontInfo(this.domNode, fontInfo);
this._dynamicOverlays = [];
this._isFocused = false;
@@ -86,6 +90,11 @@ export class ViewOverlays extends ViewPart implements IVisibleLinesHost<ViewOver
const line = this._visibleLines.getVisibleLine(lineNumber);
line.onConfigurationChanged(e);
}
const options = this._context.configuration.options;
const fontInfo = options.get(EditorOption.fontInfo);
applyFontInfo(this.domNode, fontInfo);
return true;
}
public override onFlushed(e: viewEvents.ViewFlushedEvent): boolean {