Merge branch 'xtermjs:master' into master

This commit is contained in:
Megan Rogge
2022-02-23 16:02:28 -06:00
committed by GitHub
2 changed files with 12 additions and 1 deletions
+12
View File
@@ -15,6 +15,7 @@ export class DecorationService extends Disposable implements IDecorationService
private _container: HTMLElement | undefined;
private _screenElement: HTMLElement | undefined;
private _renderService: IRenderService | undefined;
private _animationFrame: number | undefined;
constructor(@IInstantiationService private readonly _instantiationService: IInstantiationService) { super(); }
@@ -35,9 +36,20 @@ export class DecorationService extends Disposable implements IDecorationService
const decoration = this._instantiationService.createInstance(Decoration, decorationOptions, this._container);
this._decorations.push(decoration);
decoration.onDispose(() => this._decorations.splice(this._decorations.indexOf(decoration), 1));
this._queueRefresh();
return decoration;
}
private _queueRefresh(): void {
if (this._animationFrame !== undefined) {
return;
}
this._animationFrame = window.requestAnimationFrame(() => {
this.refresh();
this._animationFrame = undefined;
});
}
public refresh(shouldRecreate?: boolean): void {
if (!this._renderService) {
return;