Protected Readonly_List of widgets in secondary windows.
ProtectedapplicationProtecteddockProtecteddockProtectedkeybindingsProtected ReadonlymessageReadonlyonSubscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window .
Protected ReadonlyonReadonlyonSubscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed.
Protected ReadonlyonReadonlyonSubscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window .
Protected ReadonlyonReadonlyonSubscribe to get notified when a widget is removed from this handler, i.e. the widget's window was closed or the widget was disposed.
Protected ReadonlyonProtected ReadonlysecondaryList of widgets in secondary windows.
If the given widget is tracked by this handler, activate it and focus its secondary window.
The widget to activate specified by its id
The activated ExtractableWidget or undefined if the given widget id is unknown to this handler.
ProtectedaddOptionaloptions: AddOptionsSets up message forwarding from the main window to secondary windows. Does nothing if this service has already been initialized.
The ApplicationShell that widgets will be moved out from.
A factory function to create a DockPanelRenderer for use in secondary windows.
Moves the given widget to a new window.
the widget to extract
ProtectedremoveIf the given widget is tracked by this handler, reveal it by focussing its secondary window.
The widget to reveal specified by its id
The revealed ExtractableWidget or undefined if the given widget id is unknown to this handler.
Offers functionality to move a widget out of the main window to a newly created window. Widgets must explicitly implement the
ExtractableWidgetinterface to support this.This handler manages the opened secondary windows and sets up messaging between them and the Theia main window. In addition, it provides access to the extracted widgets and provides notifications when widgets are added to or removed from this handler.