@theia/core
Version:
Theia is a cloud & desktop IDE framework implemented in TypeScript.
60 lines • 2.9 kB
TypeScript
import { TabBar, Widget, DockPanel, Title } from '@phosphor/widgets';
import { Signal } from '@phosphor/signaling';
import { DisposableCollection } from '../../common/disposable';
import { CorePreferences } from '../core-preferences';
import { Emitter, Event } from '../../common';
export declare const MAXIMIZED_CLASS = "theia-maximized";
export declare const ACTIVE_TABBAR_CLASS = "theia-tabBar-active";
export declare const MAIN_AREA_ID = "theia-main-content-panel";
export declare const BOTTOM_AREA_ID = "theia-bottom-content-panel";
/**
* This specialization of DockPanel adds various events that are used for implementing the
* side panels of the application shell.
*/
export declare class TheiaDockPanel extends DockPanel {
protected readonly preferences?: CorePreferences | undefined;
/**
* Emitted when a widget is added to the panel.
*/
readonly widgetAdded: Signal<this, Widget>;
/**
* Emitted when a widget is activated by calling `activateWidget`.
*/
readonly widgetActivated: Signal<this, Widget>;
/**
* Emitted when a widget is removed from the panel.
*/
readonly widgetRemoved: Signal<this, Widget>;
protected readonly onDidToggleMaximizedEmitter: Emitter<Widget>;
readonly onDidToggleMaximized: Event<Widget>;
protected readonly onDidChangeCurrentEmitter: Emitter<Title<Widget> | undefined>;
get onDidChangeCurrent(): Event<Title<Widget> | undefined>;
constructor(options?: DockPanel.IOptions, preferences?: CorePreferences | undefined);
isElectron(): boolean;
protected handleMenuBarVisibility(newValue: string): void;
protected _currentTitle: Title<Widget> | undefined;
get currentTitle(): Title<Widget> | undefined;
get currentTabBar(): TabBar<Widget> | undefined;
findTabBar(title: Title<Widget>): TabBar<Widget> | undefined;
protected readonly toDisposeOnMarkAsCurrent: DisposableCollection;
markAsCurrent(title: Title<Widget> | undefined): void;
markActiveTabBar(title?: Title<Widget>): void;
addWidget(widget: Widget, options?: DockPanel.IAddOptions): void;
activateWidget(widget: Widget): void;
protected onChildRemoved(msg: Widget.ChildMessage): void;
nextTabBarWidget(widget: Widget): Widget | undefined;
nextTabBarInPanel(tabBar: TabBar<Widget>): TabBar<Widget> | undefined;
previousTabBarWidget(widget: Widget): Widget | undefined;
previousTabBarInPanel(tabBar: TabBar<Widget>): TabBar<Widget> | undefined;
protected readonly toDisposeOnToggleMaximized: DisposableCollection;
toggleMaximized(): void;
protected maximizedElement: HTMLElement | undefined;
protected getMaximizedElement(): HTMLElement;
}
export declare namespace TheiaDockPanel {
const Factory: unique symbol;
interface Factory {
(options?: DockPanel.IOptions): TheiaDockPanel;
}
}
//# sourceMappingURL=theia-dock-panel.d.ts.map