Theia API Documentation v1.65.0
    Preparing search index...
    onDidChangeActiveTextEditor: Event<TextEditor | undefined>

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