Options
All
  • Public
  • Public/Protected
  • All
Menu

Class ConsoleSessionManager

Hierarchy

  • ConsoleSessionManager

Implements

  • Disposable

Index

Constructors

Properties

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

Accessors

  • get onDidChangeSeverity(): Event<void>
  • get severity(): undefined | Severity
  • set severity(value: undefined | Severity): void

Methods

  • delete(id: string): void
  • dispose(): void