Theia API Documentation v1.65.0
    Preparing search index...

    Implements

    Index

    Constructors

    Properties

    _selectedSession: undefined | ConsoleSession
    _severity: undefined | Severity
    selectedSessionChangedEmitter: Emitter<undefined | ConsoleSession> = ...
    sessionAddedEmitter: Emitter<ConsoleSession> = ...
    sessionDeletedEmitter: Emitter<ConsoleSession> = ...
    sessions: Map<string, ConsoleSession> = ...
    sessionWasHiddenEmitter: Emitter<ConsoleSession> = ...
    sessionWasShownEmitter: Emitter<ConsoleSession> = ...
    severityChangedEmitter: Emitter<void> = ...
    toDispose: DisposableCollection = ...
    toDisposeOnSessionDeletion: Map<string, Disposable> = ...

    Accessors

    Methods