onDidCloseTextDocument property

Event<TextDocument> get onDidCloseTextDocument

An event that is emitted when a {@link TextDocumenttext document} is disposed or when the language id of a text document {@link languages.setTextDocumentLanguagehas been changed}.

Note 1: There is no guarantee that this event fires when an editor tab is closed, use the {@linkcode window.onDidChangeVisibleTextEditorsonDidChangeVisibleTextEditors}-event to know when editors change.

Note 2: A document can be open but not shown in an editor which means this event can fire for a document that has not been shown in an editor.

Implementation

_i3.Event<_i3.TextDocument> get onDidCloseTextDocument => _i4.getProperty(
      this,
      'onDidCloseTextDocument',
    );