Options
All
  • Public
  • Public/Protected
  • All
Menu

Class TheiaDockPanel

This specialization of DockPanel adds various events that are used for implementing the side panels of the application shell.

Hierarchy

  • DockPanel
    • TheiaDockPanel

Index

Constructors

Properties

_currentTitle: undefined | Title<Widget>
maximizedElement: undefined | HTMLElement
onDidChangeCurrentEmitter: Emitter<undefined | Title<Widget>> = ...
onDidToggleMaximized: Event<Widget> = ...
onDidToggleMaximizedEmitter: Emitter<Widget> = ...
preferences?: CorePreferences
toDisposeOnMarkAsCurrent: DisposableCollection = ...
toDisposeOnToggleMaximized: DisposableCollection = ...
widgetActivated: Signal<TheiaDockPanel, Widget> = ...

Emitted when a widget is activated by calling activateWidget.

widgetAdded: Signal<TheiaDockPanel, Widget> = ...

Emitted when a widget is added to the panel.

widgetRemoved: Signal<TheiaDockPanel, Widget> = ...

Emitted when a widget is removed from the panel.

Accessors

  • get currentTabBar(): undefined | TabBar<Widget>
  • get currentTitle(): undefined | Title<Widget>
  • get onDidChangeCurrent(): Event<undefined | Title<Widget>>

Methods

  • activateWidget(widget: Widget): void
  • addWidget(widget: Widget, options?: IAddOptions): void
  • findTabBar(title: Title<Widget>): undefined | TabBar<Widget>
  • getMaximizedElement(): HTMLElement
  • handleMenuBarVisibility(newValue: string): void
  • isElectron(): boolean
  • markActiveTabBar(title?: Title<Widget>): void
  • markAsCurrent(title: undefined | Title<Widget>): void
  • nextTabBarInPanel(tabBar: TabBar<Widget>): undefined | TabBar<Widget>
  • nextTabBarWidget(widget: Widget): undefined | Widget
  • onChildRemoved(msg: ChildMessage): void
  • previousTabBarInPanel(tabBar: TabBar<Widget>): undefined | TabBar<Widget>
  • previousTabBarWidget(widget: Widget): undefined | Widget
  • toggleMaximized(): void