Theia API Documentation v1.65.0
    Preparing search index...
    activeNotebookEditor: NotebookEditor | undefined

    The currently active notebook editor or undefined. The active editor is the one that currently has focus or, when none has focus, the one that has changed input most recently.