UNPKG

2.9 kBTypeScriptView Raw
1import { TabBar, Widget, DockPanel, Title } from '@phosphor/widgets';
2import { Signal } from '@phosphor/signaling';
3import { DisposableCollection } from '../../common/disposable';
4import { CorePreferences } from '../core-preferences';
5import { Emitter, Event } from '../../common';
6export declare const MAXIMIZED_CLASS = "theia-maximized";
7export declare const ACTIVE_TABBAR_CLASS = "theia-tabBar-active";
8export declare const MAIN_AREA_ID = "theia-main-content-panel";
9export declare const BOTTOM_AREA_ID = "theia-bottom-content-panel";
10/**
11 * This specialization of DockPanel adds various events that are used for implementing the
12 * side panels of the application shell.
13 */
14export declare class TheiaDockPanel extends DockPanel {
15 protected readonly preferences?: CorePreferences | undefined;
16 /**
17 * Emitted when a widget is added to the panel.
18 */
19 readonly widgetAdded: Signal<this, Widget>;
20 /**
21 * Emitted when a widget is activated by calling `activateWidget`.
22 */
23 readonly widgetActivated: Signal<this, Widget>;
24 /**
25 * Emitted when a widget is removed from the panel.
26 */
27 readonly widgetRemoved: Signal<this, Widget>;
28 protected readonly onDidToggleMaximizedEmitter: Emitter<Widget>;
29 readonly onDidToggleMaximized: Event<Widget>;
30 protected readonly onDidChangeCurrentEmitter: Emitter<Title<Widget> | undefined>;
31 get onDidChangeCurrent(): Event<Title<Widget> | undefined>;
32 constructor(options?: DockPanel.IOptions, preferences?: CorePreferences | undefined);
33 isElectron(): boolean;
34 protected handleMenuBarVisibility(newValue: string): void;
35 protected _currentTitle: Title<Widget> | undefined;
36 get currentTitle(): Title<Widget> | undefined;
37 get currentTabBar(): TabBar<Widget> | undefined;
38 findTabBar(title: Title<Widget>): TabBar<Widget> | undefined;
39 protected readonly toDisposeOnMarkAsCurrent: DisposableCollection;
40 markAsCurrent(title: Title<Widget> | undefined): void;
41 markActiveTabBar(title?: Title<Widget>): void;
42 addWidget(widget: Widget, options?: DockPanel.IAddOptions): void;
43 activateWidget(widget: Widget): void;
44 protected onChildRemoved(msg: Widget.ChildMessage): void;
45 nextTabBarWidget(widget: Widget): Widget | undefined;
46 nextTabBarInPanel(tabBar: TabBar<Widget>): TabBar<Widget> | undefined;
47 previousTabBarWidget(widget: Widget): Widget | undefined;
48 previousTabBarInPanel(tabBar: TabBar<Widget>): TabBar<Widget> | undefined;
49 protected readonly toDisposeOnToggleMaximized: DisposableCollection;
50 toggleMaximized(): void;
51 protected maximizedElement: HTMLElement | undefined;
52 protected getMaximizedElement(): HTMLElement;
53}
54export declare namespace TheiaDockPanel {
55 const Factory: unique symbol;
56 interface Factory {
57 (options?: DockPanel.IOptions): TheiaDockPanel;
58 }
59}
60//# sourceMappingURL=theia-dock-panel.d.ts.map
\No newline at end of file