Theia API Documentation v1.65.0
    Preparing search index...
    onDidChangeActiveNotebookEditor: Event<NotebookEditor | undefined>

    An Event which fires when the active notebook editor has changed. Note that the event also fires when the active editor changes to undefined.