@theia/core 1.48.0 → 1.48.1

package/lib/browser/secondary-window-handler.d.ts

@@ -1,66 +1,66 @@
-import { ExtractableWidget, Widget } from './widgets';
-import { MessageService } from '../common/message-service';
-import { ApplicationShell } from './shell/application-shell';
-import { Emitter } from '../common/event';
-import { SecondaryWindowService } from './window/secondary-window-service';
-import { KeybindingRegistry } from './keybinding';
-/**
- * Offers functionality to move a widget out of the main window to a newly created window.
- * Widgets must explicitly implement the `ExtractableWidget` interface to support this.
- *
- * This handler manages the opened secondary windows and sets up messaging between them and the Theia main window.
- * In addition, it provides access to the extracted widgets and provides notifications when widgets are added to or removed from this handler.
- *
- */
-export declare class SecondaryWindowHandler {
-    /** List of widgets in secondary windows. */
-    protected readonly _widgets: ExtractableWidget[];
-    protected applicationShell: ApplicationShell;
-    protected keybindings: KeybindingRegistry;
-    protected readonly onWillAddWidgetEmitter: Emitter<[Widget, Window]>;
-    /** Subscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window . */
-    readonly onWillAddWidget: import("../common/event").Event<[Widget, Window]>;
-    protected readonly onDidAddWidgetEmitter: Emitter<[Widget, Window]>;
-    /** Subscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window . */
-    readonly onDidAddWidget: import("../common/event").Event<[Widget, Window]>;
-    protected readonly onWillRemoveWidgetEmitter: Emitter<[Widget, Window]>;
-    /** Subscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed. */
-    readonly onWillRemoveWidget: import("../common/event").Event<[Widget, Window]>;
-    protected readonly onDidRemoveWidgetEmitter: Emitter<[Widget, Window]>;
-    /** Subscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed. */
-    readonly onDidRemoveWidget: import("../common/event").Event<[Widget, Window]>;
-    protected readonly messageService: MessageService;
-    protected readonly secondaryWindowService: SecondaryWindowService;
-    /** @returns List of widgets in secondary windows. */
-    get widgets(): ReadonlyArray<Widget>;
-    /**
-     * Sets up message forwarding from the main window to secondary windows.
-     * Does nothing if this service has already been initialized.
-     *
-     * @param shell The `ApplicationShell` that widgets will be moved out from.
-     */
-    init(shell: ApplicationShell): void;
-    /**
-     *  Moves the given widget to a new window.
-     *
-     * @param widget the widget to extract
-     */
-    moveWidgetToSecondaryWindow(widget: ExtractableWidget): void;
-    /**
-     * If the given widget is tracked by this handler, activate it and focus its secondary window.
-     *
-     * @param widgetId The widget to activate specified by its id
-     * @returns The activated `ExtractableWidget` or `undefined` if the given widget id is unknown to this handler.
-     */
-    activateWidget(widgetId: string): ExtractableWidget | undefined;
-    /**
-     * If the given widget is tracked by this handler, reveal it by focussing its secondary window.
-     *
-     * @param widgetId The widget to reveal specified by its id
-     * @returns The revealed `ExtractableWidget` or `undefined` if the given widget id is unknown to this handler.
-     */
-    revealWidget(widgetId: string): ExtractableWidget | undefined;
-    protected addWidget(widget: ExtractableWidget, win: Window): void;
-    protected removeWidget(widget: ExtractableWidget, win: Window): void;
-}
+import { ExtractableWidget, Widget } from './widgets';
+import { MessageService } from '../common/message-service';
+import { ApplicationShell } from './shell/application-shell';
+import { Emitter } from '../common/event';
+import { SecondaryWindowService } from './window/secondary-window-service';
+import { KeybindingRegistry } from './keybinding';
+/**
+ * Offers functionality to move a widget out of the main window to a newly created window.
+ * Widgets must explicitly implement the `ExtractableWidget` interface to support this.
+ *
+ * This handler manages the opened secondary windows and sets up messaging between them and the Theia main window.
+ * In addition, it provides access to the extracted widgets and provides notifications when widgets are added to or removed from this handler.
+ *
+ */
+export declare class SecondaryWindowHandler {
+    /** List of widgets in secondary windows. */
+    protected readonly _widgets: ExtractableWidget[];
+    protected applicationShell: ApplicationShell;
+    protected keybindings: KeybindingRegistry;
+    protected readonly onWillAddWidgetEmitter: Emitter<[Widget, Window]>;
+    /** Subscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window . */
+    readonly onWillAddWidget: import("../common/event").Event<[Widget, Window]>;
+    protected readonly onDidAddWidgetEmitter: Emitter<[Widget, Window]>;
+    /** Subscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window . */
+    readonly onDidAddWidget: import("../common/event").Event<[Widget, Window]>;
+    protected readonly onWillRemoveWidgetEmitter: Emitter<[Widget, Window]>;
+    /** Subscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed. */
+    readonly onWillRemoveWidget: import("../common/event").Event<[Widget, Window]>;
+    protected readonly onDidRemoveWidgetEmitter: Emitter<[Widget, Window]>;
+    /** Subscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed. */
+    readonly onDidRemoveWidget: import("../common/event").Event<[Widget, Window]>;
+    protected readonly messageService: MessageService;
+    protected readonly secondaryWindowService: SecondaryWindowService;
+    /** @returns List of widgets in secondary windows. */
+    get widgets(): ReadonlyArray<Widget>;
+    /**
+     * Sets up message forwarding from the main window to secondary windows.
+     * Does nothing if this service has already been initialized.
+     *
+     * @param shell The `ApplicationShell` that widgets will be moved out from.
+     */
+    init(shell: ApplicationShell): void;
+    /**
+     *  Moves the given widget to a new window.
+     *
+     * @param widget the widget to extract
+     */
+    moveWidgetToSecondaryWindow(widget: ExtractableWidget): void;
+    /**
+     * If the given widget is tracked by this handler, activate it and focus its secondary window.
+     *
+     * @param widgetId The widget to activate specified by its id
+     * @returns The activated `ExtractableWidget` or `undefined` if the given widget id is unknown to this handler.
+     */
+    activateWidget(widgetId: string): ExtractableWidget | undefined;
+    /**
+     * If the given widget is tracked by this handler, reveal it by focussing its secondary window.
+     *
+     * @param widgetId The widget to reveal specified by its id
+     * @returns The revealed `ExtractableWidget` or `undefined` if the given widget id is unknown to this handler.
+     */
+    revealWidget(widgetId: string): ExtractableWidget | undefined;
+    protected addWidget(widget: ExtractableWidget, win: Window): void;
+    protected removeWidget(widget: ExtractableWidget, win: Window): void;
+}
 //# sourceMappingURL=secondary-window-handler.d.ts.map

package/lib/browser/secondary-window-handler.js

@@ -1,194 +1,194 @@
-"use strict";
-// *****************************************************************************
-// Copyright (C) 2022 STMicroelectronics, Ericsson, ARM, EclipseSource 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.SecondaryWindowHandler = void 0;
-const tslib_1 = require("tslib");
-const debounce = require("lodash.debounce");
-const inversify_1 = require("inversify");
-const widgets_1 = require("./widgets");
-const message_service_1 = require("../common/message-service");
-const event_1 = require("../common/event");
-const secondary_window_service_1 = require("./window/secondary-window-service");
-const keybinding_1 = require("./keybinding");
-/** Widget to be contained directly in a secondary window. */
-class SecondaryWindowRootWidget extends widgets_1.Widget {
-    constructor() {
-        super();
-        this.layout = new widgets_1.BoxLayout();
-    }
-    addWidget(widget) {
-        this.layout.addWidget(widget);
-        widgets_1.BoxPanel.setStretch(widget, 1);
-    }
-}
-/**
- * Offers functionality to move a widget out of the main window to a newly created window.
- * Widgets must explicitly implement the `ExtractableWidget` interface to support this.
- *
- * This handler manages the opened secondary windows and sets up messaging between them and the Theia main window.
- * In addition, it provides access to the extracted widgets and provides notifications when widgets are added to or removed from this handler.
- *
- */
-let SecondaryWindowHandler = class SecondaryWindowHandler {
-    constructor() {
-        /** List of widgets in secondary windows. */
-        this._widgets = [];
-        this.onWillAddWidgetEmitter = new event_1.Emitter();
-        /** Subscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window . */
-        this.onWillAddWidget = this.onWillAddWidgetEmitter.event;
-        this.onDidAddWidgetEmitter = new event_1.Emitter();
-        /** Subscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window . */
-        this.onDidAddWidget = this.onDidAddWidgetEmitter.event;
-        this.onWillRemoveWidgetEmitter = new event_1.Emitter();
-        /** Subscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed. */
-        this.onWillRemoveWidget = this.onWillRemoveWidgetEmitter.event;
-        this.onDidRemoveWidgetEmitter = new event_1.Emitter();
-        /** Subscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed. */
-        this.onDidRemoveWidget = this.onDidRemoveWidgetEmitter.event;
-    }
-    /** @returns List of widgets in secondary windows. */
-    get widgets() {
-        // Create new array in case the original changes while this is used.
-        return [...this._widgets];
-    }
-    /**
-     * Sets up message forwarding from the main window to secondary windows.
-     * Does nothing if this service has already been initialized.
-     *
-     * @param shell The `ApplicationShell` that widgets will be moved out from.
-     */
-    init(shell) {
-        if (this.applicationShell) {
-            // Already initialized
-            return;
-        }
-        this.applicationShell = shell;
-    }
-    /**
-     *  Moves the given widget to a new window.
-     *
-     * @param widget the widget to extract
-     */
-    moveWidgetToSecondaryWindow(widget) {
-        if (!this.applicationShell) {
-            console.error('Widget cannot be extracted because the WidgetExtractionHandler has not been initialized.');
-            return;
-        }
-        if (!widget.isExtractable) {
-            console.error('Widget is not extractable.', widget.id);
-            return;
-        }
-        const newWindow = this.secondaryWindowService.createSecondaryWindow(widget, this.applicationShell);
-        if (!newWindow) {
-            this.messageService.error('The widget could not be moved to a secondary window because the window creation failed. Please make sure to allow popups.');
-            return;
-        }
-        const mainWindowTitle = document.title;
-        newWindow.addEventListener('load', () => {
-            this.keybindings.registerEventListeners(newWindow);
-            // Use the widget's title as the window title
-            // Even if the widget's label were malicious, this should be safe against XSS because the HTML standard defines this is inserted via a text node.
-            // See https://html.spec.whatwg.org/multipage/dom.html#document.title
-            newWindow.document.title = `${widget.title.label} — ${mainWindowTitle}`;
-            const element = newWindow.document.getElementById('widget-host');
-            if (!element) {
-                console.error('Could not find dom element to attach to in secondary window');
-                return;
-            }
-            this.onWillAddWidgetEmitter.fire([widget, newWindow]);
-            widget.secondaryWindow = newWindow;
-            const rootWidget = new SecondaryWindowRootWidget();
-            rootWidget.addClass('secondary-widget-root');
-            widgets_1.Widget.attach(rootWidget, element);
-            rootWidget.addWidget(widget);
-            widget.show();
-            widget.update();
-            this.addWidget(widget, newWindow);
-            // Close the window if the widget is disposed, e.g. by a command closing all widgets.
-            widget.disposed.connect(() => {
-                this.onWillRemoveWidgetEmitter.fire([widget, newWindow]);
-                this.removeWidget(widget, newWindow);
-                if (!newWindow.closed) {
-                    newWindow.close();
-                }
-            });
-            // debounce to avoid rapid updates while resizing the secondary window
-            const updateWidget = debounce(() => {
-                rootWidget.update();
-            }, 100);
-            newWindow.addEventListener('resize', () => {
-                updateWidget();
-            });
-            widget.activate();
-        });
-    }
-    /**
-     * If the given widget is tracked by this handler, activate it and focus its secondary window.
-     *
-     * @param widgetId The widget to activate specified by its id
-     * @returns The activated `ExtractableWidget` or `undefined` if the given widget id is unknown to this handler.
-     */
-    activateWidget(widgetId) {
-        const trackedWidget = this.revealWidget(widgetId);
-        trackedWidget === null || trackedWidget === void 0 ? void 0 : trackedWidget.activate();
-        return trackedWidget;
-    }
-    /**
-     * If the given widget is tracked by this handler, reveal it by focussing its secondary window.
-     *
-     * @param widgetId The widget to reveal specified by its id
-     * @returns The revealed `ExtractableWidget` or `undefined` if the given widget id is unknown to this handler.
-     */
-    revealWidget(widgetId) {
-        const trackedWidget = this._widgets.find(w => w.id === widgetId);
-        if (trackedWidget) {
-            this.secondaryWindowService.focus(trackedWidget.secondaryWindow);
-            return trackedWidget;
-        }
-        return undefined;
-    }
-    addWidget(widget, win) {
-        if (!this._widgets.includes(widget)) {
-            this._widgets.push(widget);
-            this.onDidAddWidgetEmitter.fire([widget, win]);
-        }
-    }
-    removeWidget(widget, win) {
-        const index = this._widgets.indexOf(widget);
-        if (index > -1) {
-            this._widgets.splice(index, 1);
-            this.onDidRemoveWidgetEmitter.fire([widget, win]);
-        }
-    }
-};
-(0, tslib_1.__decorate)([
-    (0, inversify_1.inject)(keybinding_1.KeybindingRegistry),
-    (0, tslib_1.__metadata)("design:type", keybinding_1.KeybindingRegistry)
-], SecondaryWindowHandler.prototype, "keybindings", void 0);
-(0, tslib_1.__decorate)([
-    (0, inversify_1.inject)(message_service_1.MessageService),
-    (0, tslib_1.__metadata)("design:type", message_service_1.MessageService)
-], SecondaryWindowHandler.prototype, "messageService", void 0);
-(0, tslib_1.__decorate)([
-    (0, inversify_1.inject)(secondary_window_service_1.SecondaryWindowService),
-    (0, tslib_1.__metadata)("design:type", Object)
-], SecondaryWindowHandler.prototype, "secondaryWindowService", void 0);
-SecondaryWindowHandler = (0, tslib_1.__decorate)([
-    (0, inversify_1.injectable)()
-], SecondaryWindowHandler);
-exports.SecondaryWindowHandler = SecondaryWindowHandler;
+"use strict";
+// *****************************************************************************
+// Copyright (C) 2022 STMicroelectronics, Ericsson, ARM, EclipseSource 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.SecondaryWindowHandler = void 0;
+const tslib_1 = require("tslib");
+const debounce = require("lodash.debounce");
+const inversify_1 = require("inversify");
+const widgets_1 = require("./widgets");
+const message_service_1 = require("../common/message-service");
+const event_1 = require("../common/event");
+const secondary_window_service_1 = require("./window/secondary-window-service");
+const keybinding_1 = require("./keybinding");
+/** Widget to be contained directly in a secondary window. */
+class SecondaryWindowRootWidget extends widgets_1.Widget {
+    constructor() {
+        super();
+        this.layout = new widgets_1.BoxLayout();
+    }
+    addWidget(widget) {
+        this.layout.addWidget(widget);
+        widgets_1.BoxPanel.setStretch(widget, 1);
+    }
+}
+/**
+ * Offers functionality to move a widget out of the main window to a newly created window.
+ * Widgets must explicitly implement the `ExtractableWidget` interface to support this.
+ *
+ * This handler manages the opened secondary windows and sets up messaging between them and the Theia main window.
+ * In addition, it provides access to the extracted widgets and provides notifications when widgets are added to or removed from this handler.
+ *
+ */
+let SecondaryWindowHandler = class SecondaryWindowHandler {
+    constructor() {
+        /** List of widgets in secondary windows. */
+        this._widgets = [];
+        this.onWillAddWidgetEmitter = new event_1.Emitter();
+        /** Subscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window . */
+        this.onWillAddWidget = this.onWillAddWidgetEmitter.event;
+        this.onDidAddWidgetEmitter = new event_1.Emitter();
+        /** Subscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window . */
+        this.onDidAddWidget = this.onDidAddWidgetEmitter.event;
+        this.onWillRemoveWidgetEmitter = new event_1.Emitter();
+        /** Subscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed. */
+        this.onWillRemoveWidget = this.onWillRemoveWidgetEmitter.event;
+        this.onDidRemoveWidgetEmitter = new event_1.Emitter();
+        /** Subscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed. */
+        this.onDidRemoveWidget = this.onDidRemoveWidgetEmitter.event;
+    }
+    /** @returns List of widgets in secondary windows. */
+    get widgets() {
+        // Create new array in case the original changes while this is used.
+        return [...this._widgets];
+    }
+    /**
+     * Sets up message forwarding from the main window to secondary windows.
+     * Does nothing if this service has already been initialized.
+     *
+     * @param shell The `ApplicationShell` that widgets will be moved out from.
+     */
+    init(shell) {
+        if (this.applicationShell) {
+            // Already initialized
+            return;
+        }
+        this.applicationShell = shell;
+    }
+    /**
+     *  Moves the given widget to a new window.
+     *
+     * @param widget the widget to extract
+     */
+    moveWidgetToSecondaryWindow(widget) {
+        if (!this.applicationShell) {
+            console.error('Widget cannot be extracted because the WidgetExtractionHandler has not been initialized.');
+            return;
+        }
+        if (!widget.isExtractable) {
+            console.error('Widget is not extractable.', widget.id);
+            return;
+        }
+        const newWindow = this.secondaryWindowService.createSecondaryWindow(widget, this.applicationShell);
+        if (!newWindow) {
+            this.messageService.error('The widget could not be moved to a secondary window because the window creation failed. Please make sure to allow popups.');
+            return;
+        }
+        const mainWindowTitle = document.title;
+        newWindow.addEventListener('load', () => {
+            this.keybindings.registerEventListeners(newWindow);
+            // Use the widget's title as the window title
+            // Even if the widget's label were malicious, this should be safe against XSS because the HTML standard defines this is inserted via a text node.
+            // See https://html.spec.whatwg.org/multipage/dom.html#document.title
+            newWindow.document.title = `${widget.title.label} — ${mainWindowTitle}`;
+            const element = newWindow.document.getElementById('widget-host');
+            if (!element) {
+                console.error('Could not find dom element to attach to in secondary window');
+                return;
+            }
+            this.onWillAddWidgetEmitter.fire([widget, newWindow]);
+            widget.secondaryWindow = newWindow;
+            const rootWidget = new SecondaryWindowRootWidget();
+            rootWidget.addClass('secondary-widget-root');
+            widgets_1.Widget.attach(rootWidget, element);
+            rootWidget.addWidget(widget);
+            widget.show();
+            widget.update();
+            this.addWidget(widget, newWindow);
+            // Close the window if the widget is disposed, e.g. by a command closing all widgets.
+            widget.disposed.connect(() => {
+                this.onWillRemoveWidgetEmitter.fire([widget, newWindow]);
+                this.removeWidget(widget, newWindow);
+                if (!newWindow.closed) {
+                    newWindow.close();
+                }
+            });
+            // debounce to avoid rapid updates while resizing the secondary window
+            const updateWidget = debounce(() => {
+                rootWidget.update();
+            }, 100);
+            newWindow.addEventListener('resize', () => {
+                updateWidget();
+            });
+            widget.activate();
+        });
+    }
+    /**
+     * If the given widget is tracked by this handler, activate it and focus its secondary window.
+     *
+     * @param widgetId The widget to activate specified by its id
+     * @returns The activated `ExtractableWidget` or `undefined` if the given widget id is unknown to this handler.
+     */
+    activateWidget(widgetId) {
+        const trackedWidget = this.revealWidget(widgetId);
+        trackedWidget === null || trackedWidget === void 0 ? void 0 : trackedWidget.activate();
+        return trackedWidget;
+    }
+    /**
+     * If the given widget is tracked by this handler, reveal it by focussing its secondary window.
+     *
+     * @param widgetId The widget to reveal specified by its id
+     * @returns The revealed `ExtractableWidget` or `undefined` if the given widget id is unknown to this handler.
+     */
+    revealWidget(widgetId) {
+        const trackedWidget = this._widgets.find(w => w.id === widgetId);
+        if (trackedWidget) {
+            this.secondaryWindowService.focus(trackedWidget.secondaryWindow);
+            return trackedWidget;
+        }
+        return undefined;
+    }
+    addWidget(widget, win) {
+        if (!this._widgets.includes(widget)) {
+            this._widgets.push(widget);
+            this.onDidAddWidgetEmitter.fire([widget, win]);
+        }
+    }
+    removeWidget(widget, win) {
+        const index = this._widgets.indexOf(widget);
+        if (index > -1) {
+            this._widgets.splice(index, 1);
+            this.onDidRemoveWidgetEmitter.fire([widget, win]);
+        }
+    }
+};
+(0, tslib_1.__decorate)([
+    (0, inversify_1.inject)(keybinding_1.KeybindingRegistry),
+    (0, tslib_1.__metadata)("design:type", keybinding_1.KeybindingRegistry)
+], SecondaryWindowHandler.prototype, "keybindings", void 0);
+(0, tslib_1.__decorate)([
+    (0, inversify_1.inject)(message_service_1.MessageService),
+    (0, tslib_1.__metadata)("design:type", message_service_1.MessageService)
+], SecondaryWindowHandler.prototype, "messageService", void 0);
+(0, tslib_1.__decorate)([
+    (0, inversify_1.inject)(secondary_window_service_1.SecondaryWindowService),
+    (0, tslib_1.__metadata)("design:type", Object)
+], SecondaryWindowHandler.prototype, "secondaryWindowService", void 0);
+SecondaryWindowHandler = (0, tslib_1.__decorate)([
+    (0, inversify_1.injectable)()
+], SecondaryWindowHandler);
+exports.SecondaryWindowHandler = SecondaryWindowHandler;
 //# sourceMappingURL=secondary-window-handler.js.map

package/lib/browser/shell/additional-views-menu-widget.d.ts

@@ -1,20 +1,20 @@
-import { CommandRegistry, Disposable, MenuModelRegistry, MenuPath } from '../../common';
-import { Title, Widget } from '../widgets';
-import { SidebarMenuWidget } from './sidebar-menu-widget';
-import { SideTabBar } from './tab-bars';
-export declare const AdditionalViewsMenuWidgetFactory: unique symbol;
-export declare type AdditionalViewsMenuWidgetFactory = (side: 'left' | 'right') => AdditionalViewsMenuWidget;
-export declare const ADDITIONAL_VIEWS_MENU_PATH: MenuPath;
-export declare class AdditionalViewsMenuWidget extends SidebarMenuWidget {
-    static readonly ID = "sidebar.additional.views";
-    side: 'left' | 'right';
-    protected readonly commandRegistry: CommandRegistry;
-    protected readonly menuModelRegistry: MenuModelRegistry;
-    protected menuDisposables: Disposable[];
-    updateAdditionalViews(sender: SideTabBar, event: {
-        titles: Title<Widget>[];
-        startIndex: number;
-    }): void;
-    protected registerMenuAction(sender: SideTabBar, title: Title<Widget>, index: number): void;
-}
+import { CommandRegistry, Disposable, MenuModelRegistry, MenuPath } from '../../common';
+import { Title, Widget } from '../widgets';
+import { SidebarMenuWidget } from './sidebar-menu-widget';
+import { SideTabBar } from './tab-bars';
+export declare const AdditionalViewsMenuWidgetFactory: unique symbol;
+export declare type AdditionalViewsMenuWidgetFactory = (side: 'left' | 'right') => AdditionalViewsMenuWidget;
+export declare const ADDITIONAL_VIEWS_MENU_PATH: MenuPath;
+export declare class AdditionalViewsMenuWidget extends SidebarMenuWidget {
+    static readonly ID = "sidebar.additional.views";
+    side: 'left' | 'right';
+    protected readonly commandRegistry: CommandRegistry;
+    protected readonly menuModelRegistry: MenuModelRegistry;
+    protected menuDisposables: Disposable[];
+    updateAdditionalViews(sender: SideTabBar, event: {
+        titles: Title<Widget>[];
+        startIndex: number;
+    }): void;
+    protected registerMenuAction(sender: SideTabBar, title: Title<Widget>, index: number): void;
+}
 //# sourceMappingURL=additional-views-menu-widget.d.ts.map