@theia/core 1.67.0-next.56 → 1.67.0-next.59

package/lib/browser/frontend-application.js

@@ -0,0 +1,309 @@
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2017 TypeFox and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FrontendApplication = void 0;
+const tslib_1 = require("tslib");
+const inversify_1 = require("inversify");
+const common_1 = require("../common");
+const keybinding_1 = require("./keybinding");
+const widgets_1 = require("./widgets");
+const application_shell_1 = require("./shell/application-shell");
+const shell_layout_restorer_1 = require("./shell/shell-layout-restorer");
+const frontend_application_state_1 = require("./frontend-application-state");
+const browser_1 = require("./browser");
+const core_preferences_1 = require("../common/core-preferences");
+const window_service_1 = require("./window/window-service");
+const tooltip_service_1 = require("./tooltip-service");
+const frontend_application_contribution_1 = require("./frontend-application-contribution");
+const TIMER_WARNING_THRESHOLD = 100;
+let FrontendApplication = class FrontendApplication {
+    constructor(commands, menus, keybindings, layoutRestorer, contributions, _shell, stateService) {
+        this.commands = commands;
+        this.menus = menus;
+        this.keybindings = keybindings;
+        this.layoutRestorer = layoutRestorer;
+        this.contributions = contributions;
+        this._shell = _shell;
+        this.stateService = stateService;
+    }
+    get shell() {
+        return this._shell;
+    }
+    /**
+     * Start the frontend application.
+     *
+     * Start up consists of the following steps:
+     * - start frontend contributions
+     * - attach the application shell to the host element
+     * - initialize the application shell layout
+     * - reveal the application shell if it was hidden by a startup indicator
+     */
+    async start() {
+        const startup = this.backendStopwatch.start('frontend');
+        await this.measure('startContributions', () => this.startContributions(), 'Start frontend contributions', false);
+        this.stateService.state = 'started_contributions';
+        const host = await this.getHost();
+        this.attachShell(host);
+        this.attachTooltip(host);
+        await (0, browser_1.animationFrame)();
+        this.stateService.state = 'attached_shell';
+        await this.measure('initializeLayout', () => this.initializeLayout(), 'Initialize the workbench layout', false);
+        this.stateService.state = 'initialized_layout';
+        await this.fireOnDidInitializeLayout();
+        await this.measure('revealShell', () => this.revealShell(host), 'Replace loading indicator with ready workbench UI (animation)', false);
+        this.registerEventListeners();
+        this.stateService.state = 'ready';
+        startup.then(idToken => this.backendStopwatch.stop(idToken, 'Frontend application start', []));
+    }
+    /**
+     * Return a promise to the host element to which the application shell is attached.
+     */
+    getHost() {
+        if (document.body) {
+            return Promise.resolve(document.body);
+        }
+        return new Promise(resolve => window.addEventListener('load', () => resolve(document.body), { once: true }));
+    }
+    /**
+     * Return an HTML element that indicates the startup phase, e.g. with an animation or a splash screen.
+     */
+    getStartupIndicator(host) {
+        const startupElements = host.getElementsByClassName('theia-preload');
+        return startupElements.length === 0 ? undefined : startupElements[0];
+    }
+    /**
+     * Register global event listeners.
+     */
+    registerEventListeners() {
+        this.windowsService.onUnload(() => {
+            this.stateService.state = 'closing_window';
+            this.layoutRestorer.storeLayout(this);
+            this.stopContributions();
+        });
+        window.addEventListener('resize', () => this.shell.update());
+        this.keybindings.registerEventListeners(window);
+        document.addEventListener('touchmove', event => { event.preventDefault(); }, { passive: false });
+        // Prevent forward/back navigation by scrolling in OS X
+        if (common_1.isOSX) {
+            document.body.addEventListener('wheel', browser_1.preventNavigation, { passive: false });
+        }
+        // Prevent the default browser behavior when dragging and dropping files into the window.
+        document.addEventListener('dragenter', event => {
+            if (event.dataTransfer) {
+                event.dataTransfer.dropEffect = 'none';
+            }
+            event.preventDefault();
+        }, false);
+        document.addEventListener('dragover', event => {
+            if (event.dataTransfer) {
+                event.dataTransfer.dropEffect = 'none';
+            }
+            event.preventDefault();
+        }, false);
+        document.addEventListener('drop', event => {
+            event.preventDefault();
+        }, false);
+    }
+    /**
+     * Attach the application shell to the host element. If a startup indicator is present, the shell is
+     * inserted before that indicator so it is not visible yet.
+     */
+    attachShell(host) {
+        const ref = this.getStartupIndicator(host);
+        widgets_1.Widget.attach(this.shell, host, ref);
+    }
+    /**
+     * Attach the tooltip container to the host element.
+     */
+    attachTooltip(host) {
+        this.tooltipService.attachTo(host);
+    }
+    /**
+     * If a startup indicator is present, it is first hidden with the `theia-hidden` CSS class and then
+     * removed after a while. The delay until removal is taken from the CSS transition duration.
+     */
+    revealShell(host) {
+        const startupElem = this.getStartupIndicator(host);
+        if (startupElem) {
+            return new Promise(resolve => {
+                window.requestAnimationFrame(() => {
+                    startupElem.classList.add('theia-hidden');
+                    const preloadStyle = window.getComputedStyle(startupElem);
+                    const transitionDuration = (0, browser_1.parseCssTime)(preloadStyle.transitionDuration, 0);
+                    window.setTimeout(() => {
+                        const parent = startupElem.parentElement;
+                        if (parent) {
+                            parent.removeChild(startupElem);
+                        }
+                        resolve();
+                    }, transitionDuration);
+                });
+            });
+        }
+        else {
+            return Promise.resolve();
+        }
+    }
+    /**
+     * Initialize the shell layout either using the layout restorer service or, if no layout has
+     * been stored, by creating the default layout.
+     */
+    async initializeLayout() {
+        if (!await this.restoreLayout()) {
+            // Fallback: Create the default shell layout
+            await this.createDefaultLayout();
+        }
+        await this.shell.pendingUpdates;
+    }
+    /**
+     * Try to restore the shell layout from the storage service. Resolves to `true` if successful.
+     */
+    async restoreLayout() {
+        try {
+            return await this.layoutRestorer.restoreLayout(this);
+        }
+        catch (error) {
+            if (shell_layout_restorer_1.ApplicationShellLayoutMigrationError.is(error)) {
+                console.warn(error.message);
+                console.info('Initializing the default layout instead...');
+            }
+            else {
+                console.error('Could not restore layout', error);
+            }
+            return false;
+        }
+    }
+    /**
+     * Let the frontend application contributions initialize the shell layout. Override this
+     * method in order to create an application-specific custom layout.
+     */
+    async createDefaultLayout() {
+        for (const contribution of this.contributions.getContributions()) {
+            if (contribution.initializeLayout) {
+                await this.measure(contribution.constructor.name + '.initializeLayout', () => contribution.initializeLayout(this));
+            }
+        }
+    }
+    async fireOnDidInitializeLayout() {
+        for (const contribution of this.contributions.getContributions()) {
+            if (contribution.onDidInitializeLayout) {
+                await this.measure(contribution.constructor.name + '.onDidInitializeLayout', () => contribution.onDidInitializeLayout(this));
+            }
+        }
+    }
+    /**
+     * Initialize and start the frontend application contributions.
+     */
+    async startContributions() {
+        for (const contribution of this.contributions.getContributions()) {
+            if (contribution.initialize) {
+                try {
+                    await this.measure(contribution.constructor.name + '.initialize', () => contribution.initialize());
+                }
+                catch (error) {
+                    console.error('Could not initialize contribution', error);
+                }
+            }
+        }
+        for (const contribution of this.contributions.getContributions()) {
+            if (contribution.configure) {
+                try {
+                    await this.measure(contribution.constructor.name + '.configure', () => contribution.configure(this));
+                }
+                catch (error) {
+                    console.error('Could not configure contribution', error);
+                }
+            }
+        }
+        /**
+         * FIXME:
+         * - decouple commands & menus
+         * - consider treat commands, keybindings and menus as frontend application contributions
+         */
+        await this.measure('commands.onStart', () => this.commands.onStart());
+        await this.measure('keybindings.onStart', () => this.keybindings.onStart());
+        await this.measure('menus.onStart', () => this.menus.onStart());
+        for (const contribution of this.contributions.getContributions()) {
+            if (contribution.onStart) {
+                try {
+                    await this.measure(contribution.constructor.name + '.onStart', () => contribution.onStart(this));
+                }
+                catch (error) {
+                    console.error('Could not start contribution', error);
+                }
+            }
+        }
+    }
+    /**
+     * Stop the frontend application contributions. This is called when the window is unloaded.
+     */
+    stopContributions() {
+        console.info('>>> Stopping frontend contributions...');
+        for (const contribution of this.contributions.getContributions()) {
+            if (contribution.onStop) {
+                try {
+                    contribution.onStop(this);
+                }
+                catch (error) {
+                    console.error('Could not stop contribution', error);
+                }
+            }
+        }
+        console.info('<<< All frontend contributions have been stopped.');
+    }
+    async measure(name, fn, message = `Frontend ${name}`, threshold = true) {
+        return this.stopwatch.startAsync(name, message, fn, threshold ? { thresholdMillis: TIMER_WARNING_THRESHOLD, defaultLogLevel: common_1.LogLevel.DEBUG } : {});
+    }
+};
+exports.FrontendApplication = FrontendApplication;
+tslib_1.__decorate([
+    (0, inversify_1.inject)(core_preferences_1.CorePreferences),
+    tslib_1.__metadata("design:type", Object)
+], FrontendApplication.prototype, "corePreferences", void 0);
+tslib_1.__decorate([
+    (0, inversify_1.inject)(window_service_1.WindowService),
+    tslib_1.__metadata("design:type", Object)
+], FrontendApplication.prototype, "windowsService", void 0);
+tslib_1.__decorate([
+    (0, inversify_1.inject)(tooltip_service_1.TooltipService),
+    tslib_1.__metadata("design:type", Object)
+], FrontendApplication.prototype, "tooltipService", void 0);
+tslib_1.__decorate([
+    (0, inversify_1.inject)(common_1.Stopwatch),
+    tslib_1.__metadata("design:type", common_1.Stopwatch)
+], FrontendApplication.prototype, "stopwatch", void 0);
+tslib_1.__decorate([
+    (0, inversify_1.inject)(common_1.BackendStopwatch),
+    tslib_1.__metadata("design:type", Object)
+], FrontendApplication.prototype, "backendStopwatch", void 0);
+exports.FrontendApplication = FrontendApplication = tslib_1.__decorate([
+    (0, inversify_1.injectable)(),
+    tslib_1.__param(0, (0, inversify_1.inject)(common_1.CommandRegistry)),
+    tslib_1.__param(1, (0, inversify_1.inject)(common_1.MenuModelRegistry)),
+    tslib_1.__param(2, (0, inversify_1.inject)(keybinding_1.KeybindingRegistry)),
+    tslib_1.__param(3, (0, inversify_1.inject)(shell_layout_restorer_1.ShellLayoutRestorer)),
+    tslib_1.__param(4, (0, inversify_1.inject)(common_1.ContributionProvider)),
+    tslib_1.__param(4, (0, inversify_1.named)(frontend_application_contribution_1.FrontendApplicationContribution)),
+    tslib_1.__param(5, (0, inversify_1.inject)(application_shell_1.ApplicationShell)),
+    tslib_1.__param(6, (0, inversify_1.inject)(frontend_application_state_1.FrontendApplicationStateService)),
+    tslib_1.__metadata("design:paramtypes", [common_1.CommandRegistry,
+        common_1.MenuModelRegistry,
+        keybinding_1.KeybindingRegistry,
+        shell_layout_restorer_1.ShellLayoutRestorer, Object, application_shell_1.ApplicationShell,
+        frontend_application_state_1.FrontendApplicationStateService])
+], FrontendApplication);
+//# sourceMappingURL=frontend-application.js.map

package/lib/browser/frontend-application.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frontend-application.js","sourceRoot":"","sources":["../../src/browser/frontend-application.ts"],"names":[],"mappings":";AAAA,gFAAgF;AAChF,yCAAyC;AACzC,EAAE;AACF,2EAA2E;AAC3E,mEAAmE;AACnE,wCAAwC;AACxC,EAAE;AACF,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yDAAyD;AACzD,uDAAuD;AACvD,EAAE;AACF,gFAAgF;AAChF,gFAAgF;;;;AAEhF,yCAAsD;AACtD,sCAAmI;AAEnI,6CAAkD;AAClD,uCAAmC;AACnC,iEAA6D;AAC7D,yEAA0G;AAC1G,6EAA+E;AAC/E,uCAA4E;AAC5E,iEAA6D;AAC7D,4DAAwD;AACxD,uDAAmD;AACnD,2FAAsF;AAEtF,MAAM,uBAAuB,GAAG,GAAG,CAAC;AAG7B,IAAM,mBAAmB,GAAzB,MAAM,mBAAmB;IAiB5B,YACgD,QAAyB,EACvB,KAAwB,EACvB,WAA+B,EAC9B,cAAmC,EAEhE,aAAoE,EAC1C,MAAwB,EACT,YAA6C;QAP7D,aAAQ,GAAR,QAAQ,CAAiB;QACvB,UAAK,GAAL,KAAK,CAAmB;QACvB,gBAAW,GAAX,WAAW,CAAoB;QAC9B,mBAAc,GAAd,cAAc,CAAqB;QAEhE,kBAAa,GAAb,aAAa,CAAuD;QAC1C,WAAM,GAAN,MAAM,CAAkB;QACT,iBAAY,GAAZ,YAAY,CAAiC;IACzG,CAAC;IAEL,IAAI,KAAK;QACL,OAAO,IAAI,CAAC,MAAM,CAAC;IACvB,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,KAAK;QACP,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAExD,MAAM,IAAI,CAAC,OAAO,CAAC,oBAAoB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,EAAE,8BAA8B,EAAE,KAAK,CAAC,CAAC;QACjH,IAAI,CAAC,YAAY,CAAC,KAAK,GAAG,uBAAuB,CAAC;QAElD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACzB,MAAM,IAAA,wBAAc,GAAE,CAAC;QACvB,IAAI,CAAC,YAAY,CAAC,KAAK,GAAG,gBAAgB,CAAC;QAE3C,MAAM,IAAI,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,gBAAgB,EAAE,EAAE,iCAAiC,EAAE,KAAK,CAAC,CAAC;QAChH,IAAI,CAAC,YAAY,CAAC,KAAK,GAAG,oBAAoB,CAAC;QAC/C,MAAM,IAAI,CAAC,yBAAyB,EAAE,CAAC;QAEvC,MAAM,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,+DAA+D,EAAE,KAAK,CAAC,CAAC;QACxI,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC9B,IAAI,CAAC,YAAY,CAAC,KAAK,GAAG,OAAO,CAAC;QAElC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,4BAA4B,EAAE,EAAE,CAAC,CAAC,CAAC;IACnG,CAAC;IAED;;OAEG;IACO,OAAO;QACb,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAChB,OAAO,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,IAAI,OAAO,CAAc,OAAO,CAAC,EAAE,CACtC,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAChF,CAAC;IACN,CAAC;IAED;;OAEG;IACO,mBAAmB,CAAC,IAAiB;QAC3C,MAAM,eAAe,GAAG,IAAI,CAAC,sBAAsB,CAAC,eAAe,CAAC,CAAC;QACrE,OAAO,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAgB,CAAC;IACxF,CAAC;IAED;;OAEG;IACO,sBAAsB;QAC5B,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,EAAE;YAC9B,IAAI,CAAC,YAAY,CAAC,KAAK,GAAG,gBAAgB,CAAC;YAC3C,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC7B,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,gBAAgB,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAE7D,IAAI,CAAC,WAAW,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;QAEhD,QAAQ,CAAC,gBAAgB,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACjG,uDAAuD;QACvD,IAAI,cAAK,EAAE,CAAC;YACR,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,2BAAiB,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,yFAAyF;QACzF,QAAQ,CAAC,gBAAgB,CAAC,WAAW,EAAE,KAAK,CAAC,EAAE;YAC3C,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBACrB,KAAK,CAAC,YAAY,CAAC,UAAU,GAAG,MAAM,CAAC;YAC3C,CAAC;YACD,KAAK,CAAC,cAAc,EAAE,CAAC;QAC3B,CAAC,EAAE,KAAK,CAAC,CAAC;QACV,QAAQ,CAAC,gBAAgB,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE;YAC1C,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBACrB,KAAK,CAAC,YAAY,CAAC,UAAU,GAAG,MAAM,CAAC;YAC3C,CAAC;YAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC7B,CAAC,EAAE,KAAK,CAAC,CAAC;QACV,QAAQ,CAAC,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;YACtC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC3B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEd,CAAC;IAED;;;OAGG;IACO,WAAW,CAAC,IAAiB;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAC3C,gBAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACO,aAAa,CAAC,IAAiB;QACrC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IAED;;;OAGG;IACO,WAAW,CAAC,IAAiB;QACnC,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACnD,IAAI,WAAW,EAAE,CAAC;YACd,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE;gBACzB,MAAM,CAAC,qBAAqB,CAAC,GAAG,EAAE;oBAC9B,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;oBAC1C,MAAM,YAAY,GAAG,MAAM,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;oBAC1D,MAAM,kBAAkB,GAAG,IAAA,sBAAY,EAAC,YAAY,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;oBAC5E,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE;wBACnB,MAAM,MAAM,GAAG,WAAW,CAAC,aAAa,CAAC;wBACzC,IAAI,MAAM,EAAE,CAAC;4BACT,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;wBACpC,CAAC;wBACD,OAAO,EAAE,CAAC;oBACd,CAAC,EAAE,kBAAkB,CAAC,CAAC;gBAC3B,CAAC,CAAC,CAAC;YACP,CAAC,CAAC,CAAC;QACP,CAAC;aAAM,CAAC;YACJ,OAAO,OAAO,CAAC,OAAO,EAAE,CAAC;QAC7B,CAAC;IACL,CAAC;IAED;;;OAGG;IACO,KAAK,CAAC,gBAAgB;QAC5B,IAAI,CAAC,MAAM,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC;YAC9B,4CAA4C;YAC5C,MAAM,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACrC,CAAC;QACD,MAAM,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;IACpC,CAAC;IAED;;OAEG;IACO,KAAK,CAAC,aAAa;QACzB,IAAI,CAAC;YACD,OAAO,MAAM,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,IAAI,4DAAoC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC5B,OAAO,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACJ,OAAO,CAAC,KAAK,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAC;YACrD,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IAED;;;OAGG;IACO,KAAK,CAAC,mBAAmB;QAC/B,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC/D,IAAI,YAAY,CAAC,gBAAgB,EAAE,CAAC;gBAChC,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,GAAG,mBAAmB,EAClE,GAAG,EAAE,CAAC,YAAY,CAAC,gBAAiB,CAAC,IAAI,CAAC,CAC7C,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAES,KAAK,CAAC,yBAAyB;QACrC,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC/D,IAAI,YAAY,CAAC,qBAAqB,EAAE,CAAC;gBACrC,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,GAAG,wBAAwB,EACvE,GAAG,EAAE,CAAC,YAAY,CAAC,qBAAsB,CAAC,IAAI,CAAC,CAClD,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAED;;OAEG;IACO,KAAK,CAAC,kBAAkB;QAC9B,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC/D,IAAI,YAAY,CAAC,UAAU,EAAE,CAAC;gBAC1B,IAAI,CAAC;oBACD,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,GAAG,aAAa,EAC5D,GAAG,EAAE,CAAC,YAAY,CAAC,UAAW,EAAE,CACnC,CAAC;gBACN,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACb,OAAO,CAAC,KAAK,CAAC,mCAAmC,EAAE,KAAK,CAAC,CAAC;gBAC9D,CAAC;YACL,CAAC;QACL,CAAC;QAED,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC/D,IAAI,YAAY,CAAC,SAAS,EAAE,CAAC;gBACzB,IAAI,CAAC;oBACD,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,GAAG,YAAY,EAC3D,GAAG,EAAE,CAAC,YAAY,CAAC,SAAU,CAAC,IAAI,CAAC,CACtC,CAAC;gBACN,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACb,OAAO,CAAC,KAAK,CAAC,kCAAkC,EAAE,KAAK,CAAC,CAAC;gBAC7D,CAAC;YACL,CAAC;QACL,CAAC;QAED;;;;WAIG;QACH,MAAM,IAAI,CAAC,OAAO,CAAC,kBAAkB,EACjC,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAChC,CAAC;QACF,MAAM,IAAI,CAAC,OAAO,CAAC,qBAAqB,EACpC,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CACnC,CAAC;QACF,MAAM,IAAI,CAAC,OAAO,CAAC,eAAe,EAC9B,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAC7B,CAAC;QACF,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC/D,IAAI,YAAY,CAAC,OAAO,EAAE,CAAC;gBACvB,IAAI,CAAC;oBACD,MAAM,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,GAAG,UAAU,EACzD,GAAG,EAAE,CAAC,YAAY,CAAC,OAAQ,CAAC,IAAI,CAAC,CACpC,CAAC;gBACN,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACb,OAAO,CAAC,KAAK,CAAC,8BAA8B,EAAE,KAAK,CAAC,CAAC;gBACzD,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED;;OAEG;IACO,iBAAiB;QACvB,OAAO,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;QACvD,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC;YAC/D,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;gBACtB,IAAI,CAAC;oBACD,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC9B,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACb,OAAO,CAAC,KAAK,CAAC,6BAA6B,EAAE,KAAK,CAAC,CAAC;gBACxD,CAAC;YACL,CAAC;QACL,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IACtE,CAAC;IAES,KAAK,CAAC,OAAO,CAAI,IAAY,EAAE,EAAyB,EAAE,OAAO,GAAG,YAAY,IAAI,EAAE,EAAE,SAAS,GAAG,IAAI;QAC9G,OAAO,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAC9C,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,uBAAuB,EAAE,eAAe,EAAE,iBAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxG,CAAC;CAEJ,CAAA;AApSY,kDAAmB;AAGT;IADlB,IAAA,kBAAM,EAAC,kCAAe,CAAC;;4DAC4B;AAGjC;IADlB,IAAA,kBAAM,EAAC,8BAAa,CAAC;;2DAC2B;AAG9B;IADlB,IAAA,kBAAM,EAAC,gCAAc,CAAC;;2DAC2B;AAG/B;IADlB,IAAA,kBAAM,EAAC,kBAAS,CAAC;sCACY,kBAAS;sDAAC;AAGrB;IADlB,IAAA,kBAAM,EAAC,yBAAgB,CAAC;;6DAC6B;8BAf7C,mBAAmB;IAD/B,IAAA,sBAAU,GAAE;IAmBJ,mBAAA,IAAA,kBAAM,EAAC,wBAAe,CAAC,CAAA;IACvB,mBAAA,IAAA,kBAAM,EAAC,0BAAiB,CAAC,CAAA;IACzB,mBAAA,IAAA,kBAAM,EAAC,+BAAkB,CAAC,CAAA;IAC1B,mBAAA,IAAA,kBAAM,EAAC,2CAAmB,CAAC,CAAA;IAC3B,mBAAA,IAAA,kBAAM,EAAC,6BAAoB,CAAC,CAAA;IAAE,mBAAA,IAAA,iBAAK,EAAC,mEAA+B,CAAC,CAAA;IAEpE,mBAAA,IAAA,kBAAM,EAAC,oCAAgB,CAAC,CAAA;IACxB,mBAAA,IAAA,kBAAM,EAAC,4DAA+B,CAAC,CAAA;6CAPc,wBAAe;QAChB,0BAAiB;QACV,+BAAkB;QACd,2CAAmB,UAG9B,oCAAgB;QACK,4DAA+B;GAzBpG,mBAAmB,CAoS/B"}

package/lib/browser/hover-service.d.ts

@@ -0,0 +1,71 @@
+import { Disposable, DisposableCollection, PreferenceService } from '../common';
+import { MarkdownString } from '../common/markdown-rendering/markdown-string';
+import { MarkdownRenderer, MarkdownRendererFactory } from './markdown-rendering/markdown-renderer';
+import '../../src/browser/style/hover-service.css';
+export type HoverPosition = 'left' | 'right' | 'top' | 'bottom';
+export declare namespace HoverPosition {
+    function invertIfNecessary(position: HoverPosition, target: DOMRect, host: DOMRect, totalWidth: number, totalHeight: number): HoverPosition;
+}
+export interface HoverRequest {
+    content: string | MarkdownString | HTMLElement;
+    target: HTMLElement;
+    /**
+     * The position where the hover should appear.
+     * Note that the hover service will try to invert the position (i.e. right -> left)
+     * if the specified content does not fit in the window next to the target element
+     */
+    position: HoverPosition;
+    /**
+     * Additional css classes that should be added to the hover box.
+     * Used to style certain boxes different e.g. for the extended tab preview.
+     */
+    cssClasses?: string[];
+    /**
+     * A function to render a visual preview on the hover.
+     * Function that takes the desired width and returns a HTMLElement to be rendered.
+     */
+    visualPreview?: (width: number) => HTMLElement | undefined;
+    /**
+     * Indicates if the hover contains interactive/clickable items.
+     * When true, the hover will register a click handler to allow interaction with elements in the hover area.
+     */
+    interactive?: boolean;
+    /**
+     * If implemented, this method will be called when the hover is no longer shown or no longer scheduled to be shown.
+     */
+    onHide?(): void;
+    /**
+     * When true, the hover will be shown immediately without any delay.
+     * Useful for explicitly triggered hovers (e.g., on click) where the user expects instant feedback.
+     * @default false
+     */
+    skipHoverDelay?: boolean;
+}
+export declare class HoverService {
+    protected static hostClassName: string;
+    protected static styleSheetId: string;
+    protected readonly preferences: PreferenceService;
+    protected readonly markdownRendererFactory: MarkdownRendererFactory;
+    protected _markdownRenderer: MarkdownRenderer | undefined;
+    protected get markdownRenderer(): MarkdownRenderer;
+    protected _hoverHost: HTMLElement | undefined;
+    protected get hoverHost(): HTMLElement;
+    protected pendingTimeout: Disposable | undefined;
+    protected hoverTarget: HTMLElement | undefined;
+    protected lastHidHover: number;
+    protected readonly disposeOnHide: DisposableCollection;
+    requestHover(request: HoverRequest): void;
+    protected getHoverDelay(): number;
+    protected renderHover(request: HoverRequest): Promise<void>;
+    protected setHostPosition(target: HTMLElement, host: HTMLElement, position: HoverPosition): HoverPosition;
+    protected listenForMouseOut(): void;
+    cancelHover(): void;
+    /**
+     * Listen for mouse click (mousedown) events and handle them based on hover interactivity.
+     * For non-interactive hovers, any mousedown cancels the hover immediately.
+     * For interactive hovers, the hover remains visible to allow interaction with its elements.
+     */
+    protected listenForMouseClick(request: HoverRequest): void;
+    protected unRenderHover(): void;
+}
+//# sourceMappingURL=hover-service.d.ts.map

package/lib/browser/hover-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hover-service.d.ts","sourceRoot":"","sources":["../../src/browser/hover-service.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAA4B,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAC1G,OAAO,EAAE,cAAc,EAAE,MAAM,8CAA8C,CAAC;AAE9E,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AAEnG,OAAO,2CAA2C,CAAC;AAEnD,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,QAAQ,CAAC;AAMhE,yBAAiB,aAAa,CAAC;IAC3B,SAAgB,iBAAiB,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,aAAa,CAmBjJ;CACJ;AAED,MAAM,WAAW,YAAY;IACzB,OAAO,EAAE,MAAM,GAAG,cAAc,GAAG,WAAW,CAAA;IAC9C,MAAM,EAAE,WAAW,CAAA;IACnB;;;;OAIG;IACH,QAAQ,EAAE,aAAa,CAAA;IACvB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,WAAW,GAAG,SAAS,CAAC;IAC3D;;;OAGG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB;;OAEG;IACH,MAAM,CAAC,IAAI,IAAI,CAAC;IAChB;;;;OAIG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,qBACa,YAAY;IACrB,SAAS,CAAC,MAAM,CAAC,aAAa,SAAiB;IAC/C,SAAS,CAAC,MAAM,CAAC,YAAY,SAAuB;IACzB,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IAC5C,SAAS,CAAC,QAAQ,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAErG,SAAS,CAAC,iBAAiB,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAC1D,SAAS,KAAK,gBAAgB,IAAI,gBAAgB,CAGjD;IAED,SAAS,CAAC,UAAU,EAAE,WAAW,GAAG,SAAS,CAAC;IAC9C,SAAS,KAAK,SAAS,IAAI,WAAW,CAQrC;IACD,SAAS,CAAC,cAAc,EAAE,UAAU,GAAG,SAAS,CAAC;IACjD,SAAS,CAAC,WAAW,EAAE,WAAW,GAAG,SAAS,CAAC;IAC/C,SAAS,CAAC,YAAY,SAAc;IACpC,SAAS,CAAC,QAAQ,CAAC,aAAa,uBAA8B;IAE9D,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI;IASzC,SAAS,CAAC,aAAa,IAAI,MAAM;cAMjB,WAAW,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAgEjE,SAAS,CAAC,eAAe,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,GAAG,aAAa;IAmCzG,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAkBnC,WAAW,IAAI,IAAI;IAOnB;;;;OAIG;IACH,SAAS,CAAC,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI;IAW1D,SAAS,CAAC,aAAa,IAAI,IAAI;CAOlC"}

package/lib/browser/hover-service.js

@@ -0,0 +1,247 @@
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2022 Ericsson and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
+// *****************************************************************************
+var HoverService_1;
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HoverService = exports.HoverPosition = void 0;
+const tslib_1 = require("tslib");
+const inversify_1 = require("inversify");
+const common_1 = require("../common");
+const browser_1 = require("./browser");
+const markdown_renderer_1 = require("./markdown-rendering/markdown-renderer");
+require("../../src/browser/style/hover-service.css");
+// Threshold, in milliseconds, over which a mouse movement is not considered
+// quick enough as to be ignored
+const quickMouseThresholdMillis = 200;
+var HoverPosition;
+(function (HoverPosition) {
+    function invertIfNecessary(position, target, host, totalWidth, totalHeight) {
+        if (position === 'left') {
+            if (target.left - host.width - 5 < 0) {
+                return 'right';
+            }
+        }
+        else if (position === 'right') {
+            if (target.right + host.width + 5 > totalWidth) {
+                return 'left';
+            }
+        }
+        else if (position === 'top') {
+            if (target.top - host.height - 5 < 0) {
+                return 'bottom';
+            }
+        }
+        else if (position === 'bottom') {
+            if (target.bottom + host.height + 5 > totalHeight) {
+                return 'top';
+            }
+        }
+        return position;
+    }
+    HoverPosition.invertIfNecessary = invertIfNecessary;
+})(HoverPosition || (exports.HoverPosition = HoverPosition = {}));
+let HoverService = HoverService_1 = class HoverService {
+    constructor() {
+        this.lastHidHover = Date.now();
+        this.disposeOnHide = new common_1.DisposableCollection();
+    }
+    get markdownRenderer() {
+        this._markdownRenderer || (this._markdownRenderer = this.markdownRendererFactory());
+        return this._markdownRenderer;
+    }
+    get hoverHost() {
+        if (!this._hoverHost) {
+            this._hoverHost = document.createElement('div');
+            this._hoverHost.classList.add(HoverService_1.hostClassName);
+            this._hoverHost.style.position = 'absolute';
+            this._hoverHost.setAttribute('popover', 'hint');
+        }
+        return this._hoverHost;
+    }
+    requestHover(request) {
+        this.cancelHover();
+        const delay = request.skipHoverDelay ? 0 : this.getHoverDelay();
+        this.pendingTimeout = (0, common_1.disposableTimeout)(() => this.renderHover(request), delay);
+        this.hoverTarget = request.target;
+        this.listenForMouseOut();
+        this.listenForMouseClick(request);
+    }
+    getHoverDelay() {
+        return Date.now() - this.lastHidHover < quickMouseThresholdMillis
+            ? 0
+            : this.preferences.get('workbench.hover.delay', common_1.isOSX ? 1500 : 500);
+    }
+    async renderHover(request) {
+        const host = this.hoverHost;
+        let firstChild;
+        const { target, content, position, cssClasses, interactive, onHide } = request;
+        if (onHide) {
+            this.disposeOnHide.push({ dispose: onHide.bind(request) });
+        }
+        if (cssClasses) {
+            host.classList.add(...cssClasses);
+        }
+        if (content instanceof HTMLElement) {
+            host.appendChild(content);
+            firstChild = content;
+        }
+        else if (typeof content === 'string') {
+            host.textContent = content;
+        }
+        else {
+            const renderedContent = this.markdownRenderer.render(content);
+            this.disposeOnHide.push(renderedContent);
+            host.appendChild(renderedContent.element);
+            firstChild = renderedContent.element;
+        }
+        // browsers might insert linebreaks when the hover appears at the edge of the window
+        // resetting the position prevents that
+        host.style.left = '0px';
+        host.style.top = '0px';
+        document.body.append(host);
+        if (!host.matches(':popover-open')) {
+            host.showPopover();
+        }
+        if (interactive) {
+            // Add a click handler to the hover host to ensure clicks within the hover area work properly
+            const clickHandler = (e) => {
+                // Let click events within the hover area be processed by their handlers
+                // but prevent them from triggering document handlers that might dismiss the tooltip
+                e.stopImmediatePropagation();
+            };
+            host.addEventListener('click', clickHandler);
+            this.disposeOnHide.push({ dispose: () => host.removeEventListener('click', clickHandler) });
+        }
+        if (request.visualPreview) {
+            // If just a string is being rendered use the size of the outer box
+            const width = firstChild ? firstChild.offsetWidth : this.hoverHost.offsetWidth;
+            const visualPreview = request.visualPreview(width);
+            if (visualPreview) {
+                host.appendChild(visualPreview);
+            }
+        }
+        await (0, browser_1.animationFrame)(); // Allow the browser to size the host
+        const updatedPosition = this.setHostPosition(target, host, position);
+        this.disposeOnHide.push({
+            dispose: () => {
+                this.lastHidHover = Date.now();
+                host.classList.remove(updatedPosition);
+                if (cssClasses) {
+                    host.classList.remove(...cssClasses);
+                }
+            }
+        });
+    }
+    setHostPosition(target, host, position) {
+        const targetDimensions = target.getBoundingClientRect();
+        const hostDimensions = host.getBoundingClientRect();
+        const documentWidth = document.body.getBoundingClientRect().width;
+        // document.body.getBoundingClientRect().height doesn't work as expected
+        // scrollHeight will always be accurate here: https://stackoverflow.com/a/44077777
+        const documentHeight = document.documentElement.scrollHeight;
+        position = HoverPosition.invertIfNecessary(position, targetDimensions, hostDimensions, documentWidth, documentHeight);
+        if (position === 'top' || position === 'bottom') {
+            const targetMiddleWidth = targetDimensions.left + (targetDimensions.width / 2);
+            const middleAlignment = targetMiddleWidth - (hostDimensions.width / 2);
+            const furthestRight = Math.min(documentWidth - hostDimensions.width, middleAlignment);
+            const left = Math.max(0, furthestRight);
+            const top = position === 'top'
+                ? targetDimensions.top - hostDimensions.height - 5
+                : targetDimensions.bottom + 5;
+            host.style.setProperty('--theia-hover-before-position', `${targetMiddleWidth - left - 5}px`);
+            host.style.top = `${top}px`;
+            host.style.left = `${left}px`;
+        }
+        else {
+            const targetMiddleHeight = targetDimensions.top + (targetDimensions.height / 2);
+            const middleAlignment = targetMiddleHeight - (hostDimensions.height / 2);
+            const furthestTop = Math.min(documentHeight - hostDimensions.height, middleAlignment);
+            const top = Math.max(0, furthestTop);
+            const left = position === 'left'
+                ? targetDimensions.left - hostDimensions.width - 5
+                : targetDimensions.right + 5;
+            host.style.setProperty('--theia-hover-before-position', `${targetMiddleHeight - top - 5}px`);
+            host.style.left = `${left}px`;
+            host.style.top = `${top}px`;
+        }
+        host.classList.add(position);
+        return position;
+    }
+    listenForMouseOut() {
+        var _a;
+        const handleMouseLeave = (e) => {
+            this.disposeOnHide.push((0, common_1.disposableTimeout)(() => {
+                var _a;
+                if (!this.hoverHost.matches(':hover') && !((_a = this.hoverTarget) === null || _a === void 0 ? void 0 : _a.matches(':hover'))) {
+                    this.cancelHover();
+                }
+            }, quickMouseThresholdMillis));
+        };
+        (_a = this.hoverTarget) === null || _a === void 0 ? void 0 : _a.addEventListener('mouseout', handleMouseLeave);
+        this.hoverHost.addEventListener('mouseout', handleMouseLeave);
+        this.disposeOnHide.push({
+            dispose: () => {
+                var _a;
+                (_a = this.hoverTarget) === null || _a === void 0 ? void 0 : _a.removeEventListener('mouseout', handleMouseLeave);
+                this.hoverHost.removeEventListener('mouseout', handleMouseLeave);
+            }
+        });
+    }
+    cancelHover() {
+        var _a;
+        (_a = this.pendingTimeout) === null || _a === void 0 ? void 0 : _a.dispose();
+        this.unRenderHover();
+        this.disposeOnHide.dispose();
+        this.hoverTarget = undefined;
+    }
+    /**
+     * Listen for mouse click (mousedown) events and handle them based on hover interactivity.
+     * For non-interactive hovers, any mousedown cancels the hover immediately.
+     * For interactive hovers, the hover remains visible to allow interaction with its elements.
+     */
+    listenForMouseClick(request) {
+        const handleMouseDown = (_e) => {
+            const isInteractive = request.interactive;
+            if (!isInteractive) {
+                this.cancelHover();
+            }
+        };
+        document.addEventListener('mousedown', handleMouseDown, true);
+        this.disposeOnHide.push({ dispose: () => document.removeEventListener('mousedown', handleMouseDown, true) });
+    }
+    unRenderHover() {
+        if (this.hoverHost.matches(':popover-open')) {
+            this.hoverHost.hidePopover();
+        }
+        this.hoverHost.remove();
+        this.hoverHost.replaceChildren();
+    }
+};
+exports.HoverService = HoverService;
+HoverService.hostClassName = 'theia-hover';
+HoverService.styleSheetId = 'theia-hover-style';
+tslib_1.__decorate([
+    (0, inversify_1.inject)(common_1.PreferenceService),
+    tslib_1.__metadata("design:type", Object)
+], HoverService.prototype, "preferences", void 0);
+tslib_1.__decorate([
+    (0, inversify_1.inject)(markdown_renderer_1.MarkdownRendererFactory),
+    tslib_1.__metadata("design:type", Function)
+], HoverService.prototype, "markdownRendererFactory", void 0);
+exports.HoverService = HoverService = HoverService_1 = tslib_1.__decorate([
+    (0, inversify_1.injectable)()
+], HoverService);
+//# sourceMappingURL=hover-service.js.map