1 | import { TabBar, Widget, DockPanel, Title } from '@phosphor/widgets';
|
2 | import { Signal } from '@phosphor/signaling';
|
3 | import { DisposableCollection } from '../../common/disposable';
|
4 | import { CorePreferences } from '../core-preferences';
|
5 | import { Emitter, Event } from '../../common';
|
6 | export declare const MAXIMIZED_CLASS = "theia-maximized";
|
7 | export declare const ACTIVE_TABBAR_CLASS = "theia-tabBar-active";
|
8 | export declare const MAIN_AREA_ID = "theia-main-content-panel";
|
9 | export declare const BOTTOM_AREA_ID = "theia-bottom-content-panel";
|
10 |
|
11 |
|
12 |
|
13 |
|
14 | export declare class TheiaDockPanel extends DockPanel {
|
15 | protected readonly preferences?: CorePreferences | undefined;
|
16 | |
17 |
|
18 |
|
19 | readonly widgetAdded: Signal<this, Widget>;
|
20 | |
21 |
|
22 |
|
23 | readonly widgetActivated: Signal<this, Widget>;
|
24 | |
25 |
|
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 | }
|
54 | export declare namespace TheiaDockPanel {
|
55 | const Factory: unique symbol;
|
56 | interface Factory {
|
57 | (options?: DockPanel.IOptions): TheiaDockPanel;
|
58 | }
|
59 | }
|
60 |
|
\ | No newline at end of file |