Construct a new document widget manager.
When 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.
Ask the user whether to close an unsaved file.
Handle a file changed signal for a context.
Handle a path changed signal for a context.
Handle the disposal of a widget.
Handle the disposal of a widget.
A signal emitted when one of the documents is activated.
Test whether the document widget manager is disposed.
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.
Dispose of the widgets associated with a given context regardless of the widget's dirty state.
The document context object.
Dispose of the resources used by the widget manager.
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.
Handle 'close-request' messages.
The target widget.
A promise that resolves with whether the widget was closed.
Dispose of widget regardless of widget's dirty state.
The target widget.
Set the caption for widget title.
The target widget.
Generated using TypeDoc
A class that maintains the lifecycle of file-backed widgets.