/******************************************************************************** * Copyright (C) 2018 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 WITH Classpath-exception-2.0 ********************************************************************************/ import { DockPanel, TabBar, Title, Widget } from '@phosphor/widgets'; import { Signal } from '@phosphor/signaling'; import { DisposableCollection } from '@gedit/utils'; 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 { /** * Emitted when a widget is added to the panel. */ readonly widgetAdded: Signal; /** * Emitted when a widget is activated by calling `activateWidget`. */ readonly widgetActivated: Signal; /** * Emitted when a widget is removed from the panel. */ readonly widgetRemoved: Signal; protected readonly toDisposeOnMarkAsCurrent: DisposableCollection; protected readonly toDisposeOnToggleMaximized: DisposableCollection; protected maximizedElement: HTMLElement | undefined; constructor(options?: DockPanel.IOptions); protected _currentTitle: Title | undefined; get currentTitle(): Title | undefined; get currentTabBar(): TabBar | undefined; findTabBar(title: Title): TabBar | undefined; markAsCurrent(title: Title | undefined): void; addWidget(widget: Widget, options?: DockPanel.IAddOptions): void; activateWidget(widget: Widget): void; nextTabBarWidget(widget: Widget): Widget | undefined; nextTabBarInPanel(tabBar: TabBar): TabBar | undefined; previousTabBarWidget(widget: Widget): Widget | undefined; previousTabBarInPanel(tabBar: TabBar): TabBar | undefined; toggleMaximized(): void; protected onChildRemoved(msg: Widget.ChildMessage): void; protected getMaximizedElement(): HTMLElement; } //# sourceMappingURL=theia-dock-panel.d.ts.map