Protected Readonly _widgetsList of widgets in secondary windows.
Protected applicationProtected keybindingsProtected Readonly messageReadonly onSubscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window .
Protected Readonly onReadonly onSubscribe 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 Readonly onReadonly onSubscribe to get notified when a widget is added to this handler, i.e. the widget was moved to an secondary window .
Protected Readonly onReadonly onSubscribe 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 Readonly onProtected Readonly secondaryList 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.
Protected addSets 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.
Moves the given widget to a new window.
the widget to extract
Protected removeIf 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.