Properties
Private Readonly _pseudoTerminals
Private Readonly _terminals
Private activeTerminalId
activeTerminalId: undefined | string
Protected environmentVariableCollections
Readonly onDidChangeActiveTerminal
Private Readonly onDidChangeActiveTerminalEmitter
onDidChangeActiveTerminalEmitter: Emitter<undefined | Terminal> = ... Readonly onDidChangeShell
onDidChangeShell: Event<string> = ... Private Readonly onDidChangeShellEmitter
onDidChangeShellEmitter: Emitter<string> = ...
Readonly onDidChangeTerminalState
Private Readonly onDidChangeTerminalStateEmitter
onDidChangeTerminalStateEmitter: Emitter<Terminal> = ... Readonly onDidCloseTerminal
Private Readonly onDidCloseTerminalEmitter
onDidCloseTerminalEmitter: Emitter<Terminal> = ... Readonly onDidOpenTerminal
Private Readonly onDidOpenTerminalEmitter
onDidOpenTerminalEmitter: Emitter<Terminal> = ... Private shell
shell: string
Private Readonly terminalLinkProviders
Private Readonly terminalObservers
Private Readonly terminalProfileProviders
Static Private nextProviderId
nextProviderId: number = 0
Provides high level terminal plugin api to use in the Theia plugins. This service allow(with help proxy) create and use terminal emulator.