Construct a new document widget manager.
Private _activatePrivate _confirmPrivate _isPrivate _recentsPrivate _registryPrivate _stateProtected translatorWhether to ask confirmation to close a tab or not.
Test whether the document widget manager is disposed.
Signal triggered when an attribute changes.
Private _initializeWhen a new widget is created, we need to hook it up with some signals, update the widget extensions (for this kind of widget) in the docregistry, among other things.
Private _maybeAsk the user whether to close an unsaved file.
Optional translator: ITranslatorPrivate _onHandle a file changed signal for a context.
Private _onHandle a path changed signal for a context.
Private _onHandle the disposal of a widget.
Private _recordPrivate _recordPrivate _widgetHandle the disposal of a widget.
Install the message hook for the widget and add to list of known widgets.
The document context object.
The widget to adopt.
Clone a widget.
The source widget.
A new widget or undefined.
Uses the same widget factory and context as the source, or throws if the source widget is not managed by this manager.
Close the widgets associated with a given context.
The document context object.
Get the document context for a widget.
The widget of interest.
The context associated with the widget, or undefined.
Create a widget for a document and handle its lifecycle.
The widget factory.
The document context object.
A widget created by the factory.
If the factory is not registered.
Dispose of the widgets associated with a given context regardless of the widget's dirty state.
The document context object.
See if a widget already exists for the given context and widget name.
The document context object.
The found widget, or undefined.
This can be used to use an existing widget instead of opening a new widget.
Filter a message sent to a message handler.
The target handler of the message.
The message dispatched to the handler.
false if the message should be filtered, of true
if the message should be dispatched to the handler as normal.
Protected onProtected onProtected set
A class that maintains the lifecycle of file-backed widgets.