Theia API Documentation v1.65.0
    Preparing search index...
    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.