Theia API Documentation v1.65.0
    Preparing search index...
    onDidChangeLogLevel: Event<LogLevel>

    An Event which fires when the log level of the editor changes.