Theia API Documentation v1.65.0
    Preparing search index...
    onDidCloseNotebookDocument: Event<NotebookDocument>

    An event that is emitted when a notebook is disposed.

    Note 1: There is no guarantee that this event fires when an editor tab is closed.

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