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

Accessors

Methods

Constructors

constructor

Properties

Protected _currentTitle

_currentTitle: undefined | Title<Widget>

Protected maximizedElement

maximizedElement: undefined | HTMLElement

Readonly onDidToggleMaximized

onDidToggleMaximized: Event<Widget> = ...

Protected Readonly onDidToggleMaximizedEmitter

onDidToggleMaximizedEmitter: Emitter<Widget> = ...

Protected Optional Readonly preferences

preferences: PreferenceProxy<CoreConfiguration>

Protected Readonly toDisposeOnMarkAsCurrent

toDisposeOnMarkAsCurrent: DisposableCollection = ...

Protected Readonly toDisposeOnToggleMaximized

toDisposeOnToggleMaximized: DisposableCollection = ...

Readonly widgetActivated

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

Emitted when a widget is activated by calling activateWidget.

Readonly widgetAdded

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

Emitted when a widget is added to the panel.

Readonly widgetRemoved

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

Emitted when a widget is removed from the panel.

Accessors

currentTabBar

  • get currentTabBar(): undefined | TabBar<Widget>

currentTitle

  • get currentTitle(): undefined | Title<Widget>

Methods

activateWidget

  • activateWidget(widget: Widget): void

addWidget

  • addWidget(widget: Widget, options?: IAddOptions): void

findTabBar

  • findTabBar(title: Title<Widget>): undefined | TabBar<Widget>

Protected getMaximizedElement

  • getMaximizedElement(): HTMLElement

Protected handleMenuBarVisibility

  • handleMenuBarVisibility(newValue: string): void

isElectron

  • isElectron(): boolean

markAsCurrent

  • markAsCurrent(title: undefined | Title<Widget>): void

nextTabBarInPanel

  • nextTabBarInPanel(tabBar: TabBar<Widget>): undefined | TabBar<Widget>

nextTabBarWidget

  • nextTabBarWidget(widget: Widget): undefined | Widget

Protected onChildRemoved

  • onChildRemoved(msg: ChildMessage): void

previousTabBarInPanel

  • previousTabBarInPanel(tabBar: TabBar<Widget>): undefined | TabBar<Widget>

previousTabBarWidget

  • previousTabBarWidget(widget: Widget): undefined | Widget

toggleMaximized

  • toggleMaximized(): void