Theia API Documentation v1.65.0
    Preparing search index...
    activeTextEditor: TextEditor | undefined

    The currently active 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.