waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

refresh on dimensions changed

Browse Source
This commit is contained in:
meganrogge
2022-02-09 10:12:25 -06:00
parent 95c9fe11fb
commit 3e204584d9
1 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/browser/services/DecorationService.ts
+10 -6
View File
@@ -29,6 +29,7 @@ export class DecorationService extends Disposable implements IDecorationService
screenElement.appendChild(this._container);
this.refresh();
this.register(this._renderService.onRenderedBufferChange(() => this.refresh()));
this.register(this._renderService.onDimensionsChange(() => this.refresh(true)));
}
public registerDecoration(decorationOptions: IDecorationOptions): IDecoration | undefined {
@@ -41,12 +42,12 @@ export class DecorationService extends Disposable implements IDecorationService
return decoration;
}
public refresh(): void {
public refresh(recreate?: boolean): void {
if (!this._bufferService || !this._renderService) {
return;
}
for (const decoration of this._decorations) {
decoration.render(this._bufferService, this._renderService);
decoration.render(this._bufferService, this._renderService, recreate);
}
}
@@ -90,9 +91,9 @@ class Decoration extends Disposable implements IDecoration {
this.height = options.height || 1;
}
public render(bufferService: IBufferService, renderService: IRenderService): void {
if (!this._element) {
this._createElement(bufferService, renderService);
public render(bufferService: IBufferService, renderService: IRenderService, recreate?: boolean): void {
if (!this._element || recreate) {
this._createElement(bufferService, renderService, recreate);
}
if (this._container && this._element && !this._container.contains(this._element)) {
this._container.append(this._element);
@@ -101,7 +102,10 @@ class Decoration extends Disposable implements IDecoration {
this._onRender.fire(this._element!);
}
private _createElement(bufferService: IBufferService, renderService: IRenderService): void {
private _createElement(bufferService: IBufferService, renderService: IRenderService, recreate?: boolean): void {
if (recreate) {
this._container.removeChild(this._element!);
}
this._element = document.createElement('div');
this._element.classList.add('xterm-decoration');
this._element.style.width = `${this.width * renderService.dimensions.scaledCellWidth}px`;