Theia API Documentation v1.66.0
    Preparing search index...

    Variable onDidCloseTextDocumentConst

    onDidCloseTextDocument: Event<TextDocument>

    An event that is emitted when a text document is disposed.

    To add an event listener when a visible text document is closed, use the TextEditor events in the window namespace. Note that this event is not emitted when a TextEditor is closed but the document remains open in another visible text editor.