@codingame/monaco-vscode-xterm-common 25.1.1 → 26.0.0

package/vscode/src/vs/workbench/contrib/terminalContrib/stickyScroll/browser/terminalStickyScrollContribution.js

@@ -16,12 +16,22 @@ import { TerminalStickyScrollOverlay } from './terminalStickyScrollOverlay.js';
 var TerminalStickyScrollContribution_1;
 registerCss(stickyScroll);
 let TerminalStickyScrollContribution = class TerminalStickyScrollContribution extends Disposable {
-    static { TerminalStickyScrollContribution_1 = this; }
-    static { this.ID = 'terminal.stickyScroll'; }
+    static {
+        TerminalStickyScrollContribution_1 = this;
+    }
+    static {
+        this.ID = "terminal.stickyScroll";
+    }
     static get(instance) {
         return instance.getContribution(TerminalStickyScrollContribution_1.ID);
     }
-    constructor(_ctx, _configurationService, _contextKeyService, _instantiationService, _keybindingService) {
+    constructor(
+        _ctx,
+        _configurationService,
+        _contextKeyService,
+        _instantiationService,
+        _keybindingService
+    ) {
         super();
         this._ctx = _ctx;
         this._configurationService = _configurationService;
@@ -32,11 +42,13 @@ let TerminalStickyScrollContribution = class TerminalStickyScrollContribution ex
         this._enableListeners = this._register(( new MutableDisposable()));
         this._disableListeners = this._register(( new MutableDisposable()));
         this._richCommandDetectionListeners = this._register(( new MutableDisposable()));
-        this._register(Event.runAndSubscribe(this._configurationService.onDidChangeConfiguration, e => {
-            if (!e || e.affectsConfiguration(TerminalStickyScrollSettingId.Enabled)) {
-                this._refreshState();
-            }
-        }));
+        this._register(
+            Event.runAndSubscribe(this._configurationService.onDidChangeConfiguration, e => {
+                if (!e || e.affectsConfiguration(TerminalStickyScrollSettingId.Enabled)) {
+                    this._refreshState();
+                }
+            })
+        );
     }
     xtermReady(xterm) {
         this._xterm = xterm;
@@ -54,8 +66,7 @@ let TerminalStickyScrollContribution = class TerminalStickyScrollContribution ex
     _refreshState() {
         if (this._overlay.value) {
             this._tryDisable();
-        }
-        else {
+        } else {
             this._tryEnable();
         }
         if (this._overlay.value) {
@@ -67,8 +78,7 @@ let TerminalStickyScrollContribution = class TerminalStickyScrollContribution ex
                     }
                 });
             }
-        }
-        else {
+        } else {
             this._disableListeners.clear();
             if (!this._enableListeners.value) {
                 this._enableListeners.value = this._ctx.instance.capabilities.onDidAddCapability(e => {
@@ -83,15 +93,20 @@ let TerminalStickyScrollContribution = class TerminalStickyScrollContribution ex
         const capability = this._ctx.instance.capabilities.get(TerminalCapability.CommandDetection);
         if (this._shouldBeEnabled()) {
             const xtermCtorEventually = TerminalInstance.getXtermConstructor(this._keybindingService, this._contextKeyService);
-            this._overlay.value = this._instantiationService.createInstance(TerminalStickyScrollOverlay, this._ctx.instance, this._xterm, this._instantiationService.createInstance(TerminalInstanceColorProvider, this._ctx.instance.targetRef), capability, xtermCtorEventually);
+            this._overlay.value = this._instantiationService.createInstance(
+                TerminalStickyScrollOverlay,
+                this._ctx.instance,
+                this._xterm,
+                this._instantiationService.createInstance(TerminalInstanceColorProvider, this._ctx.instance.targetRef),
+                capability,
+                xtermCtorEventually
+            );
             this._richCommandDetectionListeners.clear();
-        }
-        else if (capability && !capability.hasRichCommandDetection) {
+        } else if (capability && !capability.hasRichCommandDetection) {
             this._richCommandDetectionListeners.value = capability.onSetRichCommandDetection(() => {
                 this._refreshState();
             });
-        }
-        else {
+        } else {
             this._richCommandDetectionListeners.clear();
         }
     }
@@ -107,11 +122,6 @@ let TerminalStickyScrollContribution = class TerminalStickyScrollContribution ex
         return result;
     }
 };
-TerminalStickyScrollContribution = TerminalStickyScrollContribution_1 = ( __decorate([
-    ( __param(1, IConfigurationService)),
-    ( __param(2, IContextKeyService)),
-    ( __param(3, IInstantiationService)),
-    ( __param(4, IKeybindingService))
-], TerminalStickyScrollContribution));
+TerminalStickyScrollContribution = TerminalStickyScrollContribution_1 = ( __decorate([( __param(1, IConfigurationService)), ( __param(2, IContextKeyService)), ( __param(3, IInstantiationService)), ( __param(4, IKeybindingService))], TerminalStickyScrollContribution));
 
 export { TerminalStickyScrollContribution };

package/vscode/src/vs/workbench/contrib/terminalContrib/stickyScroll/browser/terminalStickyScrollOverlay.d.ts

@@ -32,6 +32,7 @@ export declare class TerminalStickyScrollOverlay extends Disposable {
     private _state;
     private _isRefreshQueued;
     private _rawMaxLineCount;
+    private _ignoredCommands;
     private _pendingShowOperation;
     constructor(_instance: ITerminalInstance, _xterm: IXtermTerminal & {
         raw: RawXtermTerminal;
@@ -53,5 +54,5 @@ export declare class TerminalStickyScrollOverlay extends Disposable {
     private _refreshGpuAcceleration;
     private _shouldLoadWebgl;
     private _getTheme;
-    private _isClearCommand;
+    private _isIgnoredCommand;
 }

package/vscode/src/vs/workbench/contrib/terminalContrib/stickyScroll/browser/terminalStickyScrollOverlay.js

@@ -26,20 +26,33 @@ import { XtermAddonImporter } from '@codingame/monaco-vscode-xterm-addons-common
 
 registerCss(stickyScroll);
 var OverlayState;
-(function (OverlayState) {
+(function(OverlayState) {
     OverlayState[OverlayState["Off"] = 0] = "Off";
     OverlayState[OverlayState["On"] = 1] = "On";
 })(OverlayState || (OverlayState = {}));
 var CssClasses;
-(function (CssClasses) {
+(function(CssClasses) {
     CssClasses["Visible"] = "visible";
 })(CssClasses || (CssClasses = {}));
 var Constants;
-(function (Constants) {
+(function(Constants) {
     Constants[Constants["StickyScrollPercentageCap"] = 0.4] = "StickyScrollPercentageCap";
 })(Constants || (Constants = {}));
 let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disposable {
-    constructor(_instance, _xterm, _xtermColorProvider, _commandDetection, xtermCtor, configurationService, contextKeyService, _contextMenuService, _keybindingService, menuService, _terminalConfigurationService, _themeService) {
+    constructor(
+        _instance,
+        _xterm,
+        _xtermColorProvider,
+        _commandDetection,
+        xtermCtor,
+        configurationService,
+        contextKeyService,
+        _contextMenuService,
+        _keybindingService,
+        menuService,
+        _terminalConfigurationService,
+        _themeService
+    ) {
         super();
         this._instance = _instance;
         this._xterm = _xterm;
@@ -55,16 +68,26 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
         this._state = OverlayState.Off;
         this._isRefreshQueued = false;
         this._rawMaxLineCount = 5;
+        this._ignoredCommands = [];
         this._pendingShowOperation = false;
-        this._contextMenu = this._register(menuService.createMenu(MenuId.TerminalStickyScrollContext, contextKeyService));
+        this._contextMenu = this._register(
+            menuService.createMenu(MenuId.TerminalStickyScrollContext, contextKeyService)
+        );
         this._register(Event.runAndSubscribe(this._xterm.raw.buffer.onBufferChange, buffer => {
-            this._setState((buffer ?? this._xterm.raw.buffer.active).type === 'normal' ? OverlayState.On : OverlayState.Off);
-        }));
-        this._register(Event.runAndSubscribe(configurationService.onDidChangeConfiguration, e => {
-            if (!e || e.affectsConfiguration(TerminalStickyScrollSettingId.MaxLineCount)) {
-                this._rawMaxLineCount = configurationService.getValue(TerminalStickyScrollSettingId.MaxLineCount);
-            }
+            this._setState(
+                (buffer ?? this._xterm.raw.buffer.active).type === "normal" ? OverlayState.On : OverlayState.Off
+            );
         }));
+        this._register(
+            Event.runAndSubscribe(configurationService.onDidChangeConfiguration, e => {
+                if (!e || e.affectsConfiguration(TerminalStickyScrollSettingId.MaxLineCount)) {
+                    this._rawMaxLineCount = configurationService.getValue(TerminalStickyScrollSettingId.MaxLineCount);
+                }
+                if (!e || e.affectsConfiguration(TerminalStickyScrollSettingId.IgnoredCommands)) {
+                    this._ignoredCommands = configurationService.getValue(TerminalStickyScrollSettingId.IgnoredCommands);
+                }
+            })
+        );
         this._register(this._instance.onDidChangeTarget(() => this._syncOptions()));
         xtermCtor.then(ctor => {
             if (this._store.isDisposed) {
@@ -94,7 +117,7 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
                     this._refresh();
                 }
             }));
-            this._xtermAddonLoader.importAddon('serialize').then(SerializeAddon => {
+            this._xtermAddonLoader.importAddon("serialize").then(SerializeAddon => {
                 if (this._store.isDisposed) {
                     return;
                 }
@@ -105,22 +128,24 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
         });
     }
     lockHide() {
-        this._element?.classList.add('lock-hide');
+        this._element?.classList.add("lock-hide");
     }
     unlockHide() {
-        this._element?.classList.remove('lock-hide');
+        this._element?.classList.remove("lock-hide");
     }
     _setState(state) {
         if (this._state === state) {
             return;
         }
         switch (state) {
-            case OverlayState.Off: {
+        case OverlayState.Off:
+            {
                 this._setVisible(false);
                 this._uninstallRefreshListeners();
                 break;
             }
-            case OverlayState.On: {
+        case OverlayState.On:
+            {
                 this._refresh();
                 this._installRefreshListeners();
                 break;
@@ -129,9 +154,16 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
     }
     _installRefreshListeners() {
         if (!this._refreshListeners.value) {
-            this._refreshListeners.value = combinedDisposable(Event.any(this._xterm.raw.onScroll, this._xterm.raw.onLineFeed,
-            this._xterm.raw.onCursorMove)(() => this._refresh()),
-            addStandardDisposableListener(this._xterm.raw.element.querySelector('.xterm-viewport'), 'scroll', () => this._refresh()));
+            this._refreshListeners.value = combinedDisposable(Event.any(
+                this._xterm.raw.onScroll,
+                this._xterm.raw.onLineFeed,
+                this._xterm.raw.onCursorMove
+            )(() => this._refresh()),
+            addStandardDisposableListener(
+                this._xterm.raw.element.querySelector(".xterm-viewport"),
+                "scroll",
+                () => this._refresh()
+            ));
         }
     }
     _uninstallRefreshListeners() {
@@ -141,8 +173,7 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
         if (isVisible) {
             this._pendingShowOperation = true;
             this._show();
-        }
-        else {
+        } else {
             this._hide();
         }
     }
@@ -170,7 +201,7 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
     _refreshNow() {
         const command = this._commandDetection.getCommandForLine(this._xterm.raw.buffer.active.viewportY);
         this._currentStickyCommand = undefined;
-        if (!command || this._isClearCommand(command)) {
+        if (!command || this._isIgnoredCommand(command)) {
             this._setVisible(false);
             return;
         }
@@ -205,7 +236,10 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
         const stickyScrollLineStart = startMarker.line - (promptRowCount - 1);
         const isPartialCommand = !isFullTerminalCommand(command);
         const rowOffset = !isPartialCommand && command.endMarker ? Math.max(buffer.viewportY - command.endMarker.line + 1, 0) : 0;
-        const maxLineCount = Math.min(this._rawMaxLineCount, Math.floor(xterm.rows * Constants.StickyScrollPercentageCap));
+        const maxLineCount = Math.min(
+            this._rawMaxLineCount,
+            Math.floor(xterm.rows * Constants.StickyScrollPercentageCap)
+        );
         const stickyScrollLineCount = Math.min(promptRowCount + commandRowCount - 1, maxLineCount) - rowOffset;
         const isTruncated = stickyScrollLineCount < promptRowCount + commandRowCount - 1;
         if (buffer.viewportY <= stickyScrollLineStart) {
@@ -214,8 +248,7 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
         }
         if (isPartialCommand && buffer.viewportY === buffer.baseY && buffer.cursorY === xterm.rows - 1) {
             const line = buffer.getLine(buffer.baseY + xterm.rows - 1);
-            if ((buffer.cursorX === 1 && lineStartsWith(line, ':')) ||
-                (buffer.cursorX === 5 && lineStartsWith(line, '(END)'))) {
+            if ((buffer.cursorX === 1 && lineStartsWith(line, ":")) || (buffer.cursorX === 5 && lineStartsWith(line, "(END)"))) {
                 this._setVisible(false);
                 return;
             }
@@ -225,16 +258,14 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
                 start: stickyScrollLineStart + rowOffset,
                 end: stickyScrollLineStart + rowOffset + Math.max(stickyScrollLineCount - 1, 0)
             }
-        }) + (isTruncated ? '\x1b[0m …' : '');
+        }) + (isTruncated ? "\u001b[0m …" : "");
         if (isPartialCommand && removeAnsiEscapeCodes(content).length === 0) {
             this._setVisible(false);
             return;
         }
-        if (content && this._currentContent !== content ||
-            this._stickyScrollOverlay.cols !== xterm.cols ||
-            this._stickyScrollOverlay.rows !== stickyScrollLineCount) {
+        if (content && this._currentContent !== content || this._stickyScrollOverlay.cols !== xterm.cols || this._stickyScrollOverlay.rows !== stickyScrollLineCount) {
             this._stickyScrollOverlay.resize(this._stickyScrollOverlay.cols, stickyScrollLineCount);
-            this._stickyScrollOverlay.write('\x1b[0m\x1b[H\x1b[2J');
+            this._stickyScrollOverlay.write("\u001b[0m\u001b[H\u001b[2J");
             this._stickyScrollOverlay.write(content);
             this._currentContent = content;
         }
@@ -257,36 +288,35 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
                     this._element.style.bottom = `${termBox.height - overlayHeight + 1 + endMarkerOffset}px`;
                 }
             }
-        }
-        else {
+        } else {
             this._setVisible(false);
         }
     }
     _ensureElement() {
         if (
         this._element ||
-            !this._stickyScrollOverlay ||
-            !this._xterm?.raw.element?.parentElement) {
+        !this._stickyScrollOverlay ||
+        !this._xterm?.raw.element?.parentElement) {
             return;
         }
         const overlay = this._stickyScrollOverlay;
-        const hoverOverlay = $('.hover-overlay');
-        this._element = $('.terminal-sticky-scroll', undefined, hoverOverlay);
+        const hoverOverlay = $(".hover-overlay");
+        this._element = $(".terminal-sticky-scroll", undefined, hoverOverlay);
         this._xterm.raw.element.parentElement.append(this._element);
         this._register(toDisposable(() => this._element?.remove()));
-        let hoverTitle = ( localize(12263, 'Navigate to Command'));
+        let hoverTitle = ( localize(12619, "Navigate to Command"));
         const scrollToPreviousCommandKeybinding = this._keybindingService.lookupKeybinding(TerminalCommandId.ScrollToPreviousCommand);
         if (scrollToPreviousCommandKeybinding) {
             const label = scrollToPreviousCommandKeybinding.getLabel();
             if (label) {
-                hoverTitle += '\n' + ( localize(12264, "{0} ({1})", terminalStrings.scrollToPreviousCommand.value, label));
+                hoverTitle += "\n" + ( localize(12620, "{0} ({1})", terminalStrings.scrollToPreviousCommand.value, label));
             }
         }
         const scrollToNextCommandKeybinding = this._keybindingService.lookupKeybinding(TerminalCommandId.ScrollToNextCommand);
         if (scrollToNextCommandKeybinding) {
             const label = scrollToNextCommandKeybinding.getLabel();
             if (label) {
-                hoverTitle += '\n' + ( localize(12264, "{0} ({1})", terminalStrings.scrollToNextCommand.value, label));
+                hoverTitle += "\n" + ( localize(12620, "{0} ({1})", terminalStrings.scrollToNextCommand.value, label));
             }
         }
         hoverOverlay.title = hoverTitle;
@@ -295,37 +325,55 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
             this._element.style.right = `${scrollBarWidth}px`;
         }
         this._stickyScrollOverlay.open(this._element);
-        this._stickyScrollOverlay.attachCustomKeyEventHandler((event) => {
-            if (event.key === 'Tab') {
+        this._stickyScrollOverlay.attachCustomKeyEventHandler(event => {
+            if (event.key === "Tab") {
                 return false;
             }
             return true;
         });
-        this._xtermAddonLoader.importAddon('ligatures').then(LigaturesAddon => {
+        this._xtermAddonLoader.importAddon("ligatures").then(LigaturesAddon => {
             if (this._store.isDisposed || !this._stickyScrollOverlay) {
                 return;
             }
             this._ligaturesAddon = ( new LigaturesAddon());
             this._stickyScrollOverlay.loadAddon(this._ligaturesAddon);
         });
-        this._register(addStandardDisposableListener(hoverOverlay, 'click', () => {
+        this._register(addStandardDisposableListener(hoverOverlay, "click", () => {
             if (this._xterm && this._currentStickyCommand) {
                 this._xterm.markTracker.revealCommand(this._currentStickyCommand);
                 this._instance.focus();
             }
         }));
-        this._register(addStandardDisposableListener(hoverOverlay, 'wheel', e => this._xterm?.raw.element?.dispatchEvent(( new WheelEvent(e.type, e)))));
-        this._register(addDisposableListener(hoverOverlay, 'mousedown', e => {
+        this._register(addStandardDisposableListener(
+            hoverOverlay,
+            "wheel",
+            e => this._xterm?.raw.element?.dispatchEvent(( new WheelEvent(e.type, e)))
+        ));
+        this._register(addDisposableListener(hoverOverlay, "mousedown", e => {
             e.stopImmediatePropagation();
             e.preventDefault();
         }));
-        this._register(addDisposableListener(hoverOverlay, 'contextmenu', e => {
+        this._register(addDisposableListener(hoverOverlay, "contextmenu", e => {
             e.stopImmediatePropagation();
             e.preventDefault();
-            openContextMenu(getWindow(hoverOverlay), e, this._instance, this._contextMenu, this._contextMenuService);
+            openContextMenu(
+                getWindow(hoverOverlay),
+                e,
+                this._instance,
+                this._contextMenu,
+                this._contextMenuService
+            );
         }));
-        this._register(addStandardDisposableListener(hoverOverlay, 'mouseover', () => overlay.options.theme = this._getTheme(true)));
-        this._register(addStandardDisposableListener(hoverOverlay, 'mouseleave', () => overlay.options.theme = this._getTheme(false)));
+        this._register(addStandardDisposableListener(
+            hoverOverlay,
+            "mouseover",
+            () => overlay.options.theme = this._getTheme(true)
+        ));
+        this._register(addStandardDisposableListener(
+            hoverOverlay,
+            "mouseleave",
+            () => overlay.options.theme = this._getTheme(false)
+        ));
     }
     _syncOptions() {
         if (!this._stickyScrollOverlay) {
@@ -338,9 +386,9 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
     _getOptions() {
         const o = this._xterm.raw.options;
         return {
-            cursorInactiveStyle: 'none',
+            cursorInactiveStyle: "none",
             scrollback: 0,
-            logLevel: 'off',
+            logLevel: "off",
             theme: this._getTheme(false),
             documentOverride: o.documentOverride,
             fontFamily: o.fontFamily,
@@ -351,12 +399,12 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
             lineHeight: o.lineHeight,
             drawBoldTextInBrightColors: o.drawBoldTextInBrightColors,
             minimumContrastRatio: o.minimumContrastRatio,
-            tabStopWidth: o.tabStopWidth,
+            tabStopWidth: o.tabStopWidth
         };
     }
     async _refreshGpuAcceleration() {
         if (this._shouldLoadWebgl() && (!this._webglAddon.value || this._webglAddonCustomGlyphs !== this._terminalConfigurationService.config.customGlyphs)) {
-            const WebglAddon = await this._xtermAddonLoader.importAddon('webgl');
+            const WebglAddon = await this._xtermAddonLoader.importAddon("webgl");
             if (this._store.isDisposed) {
                 return;
             }
@@ -365,56 +413,39 @@ let TerminalStickyScrollOverlay = class TerminalStickyScrollOverlay extends Disp
             }));
             this._webglAddonCustomGlyphs = this._terminalConfigurationService.config.customGlyphs;
             this._stickyScrollOverlay?.loadAddon(this._webglAddon.value);
-        }
-        else if (!this._shouldLoadWebgl() && this._webglAddon.value) {
+        } else if (!this._shouldLoadWebgl() && this._webglAddon.value) {
             this._webglAddon.clear();
         }
     }
     _shouldLoadWebgl() {
-        return this._terminalConfigurationService.config.gpuAcceleration === 'auto' || this._terminalConfigurationService.config.gpuAcceleration === 'on';
+        return this._terminalConfigurationService.config.gpuAcceleration === "auto" || this._terminalConfigurationService.config.gpuAcceleration === "on";
     }
     _getTheme(isHovering) {
         const theme = this._themeService.getColorTheme();
         return {
             ...this._xterm.getXtermTheme(),
-            background: isHovering
-                ? theme.getColor(terminalStickyScrollHoverBackground)?.toString() ?? this._xtermColorProvider.getBackgroundColor(theme)?.toString()
-                : theme.getColor(terminalStickyScrollBackground)?.toString() ?? this._xtermColorProvider.getBackgroundColor(theme)?.toString(),
+            background: isHovering ? theme.getColor(terminalStickyScrollHoverBackground)?.toString() ?? this._xtermColorProvider.getBackgroundColor(theme)?.toString() : theme.getColor(terminalStickyScrollBackground)?.toString() ?? this._xtermColorProvider.getBackgroundColor(theme)?.toString(),
             selectionBackground: undefined,
             selectionInactiveBackground: undefined
         };
     }
-    _isClearCommand(command) {
+    _isIgnoredCommand(command) {
         if (!command.command) {
             return false;
         }
         const trimmedCommand = command.command.trim().toLowerCase();
-        const clearCommands = [
-            'clear',
-            'cls',
-            'clear-host',
-        ];
-        return clearCommands.includes(trimmedCommand);
+        return ( this._ignoredCommands.some(cmd => cmd.toLowerCase() === trimmedCommand));
     }
 };
-TerminalStickyScrollOverlay.__decorator = ( __decorate([
-    debounce(100)
-], TerminalStickyScrollOverlay.prototype, "_show", null));
-TerminalStickyScrollOverlay.__decorator = ( __decorate([
-    throttle(0)
-], TerminalStickyScrollOverlay.prototype, "_syncOptions", null));
-TerminalStickyScrollOverlay.__decorator = ( __decorate([
-    throttle(0)
-], TerminalStickyScrollOverlay.prototype, "_refreshGpuAcceleration", null));
-TerminalStickyScrollOverlay = ( __decorate([
-    ( __param(5, IConfigurationService)),
-    ( __param(6, IContextKeyService)),
-    ( __param(7, IContextMenuService)),
-    ( __param(8, IKeybindingService)),
-    ( __param(9, IMenuService)),
-    ( __param(10, ITerminalConfigurationService)),
-    ( __param(11, IThemeService))
-], TerminalStickyScrollOverlay));
+TerminalStickyScrollOverlay.__decorator = ( __decorate([debounce(100)], TerminalStickyScrollOverlay.prototype, "_show", null));
+TerminalStickyScrollOverlay.__decorator = ( __decorate([throttle(0)], TerminalStickyScrollOverlay.prototype, "_syncOptions", null));
+TerminalStickyScrollOverlay.__decorator = ( __decorate(
+    [throttle(0)],
+    TerminalStickyScrollOverlay.prototype,
+    "_refreshGpuAcceleration",
+    null
+));
+TerminalStickyScrollOverlay = ( __decorate([( __param(5, IConfigurationService)), ( __param(6, IContextKeyService)), ( __param(7, IContextMenuService)), ( __param(8, IKeybindingService)), ( __param(9, IMenuService)), ( __param(10, ITerminalConfigurationService)), ( __param(11, IThemeService))], TerminalStickyScrollOverlay));
 function lineStartsWith(line, text) {
     if (!line) {
         return false;