Class TerminalServiceMainImpl

Plugin api service allows working with terminal emulator.

Hierarchy

TerminalServiceMainImpl

Implements

TerminalServiceMain
Disposable

Constructors

constructor

new TerminalServiceMainImpl(rpc: RPCProtocol, container: Container): TerminalServiceMainImpl

- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:41
Parameters
- rpc: RPCProtocol
- container: Container
Returns TerminalServiceMainImpl

Properties

Private Readonly extProxy

extProxy: TerminalServiceExt

Private Readonly shell

shell: ApplicationShell

Private Readonly shellTerminalServer

shellTerminalServer: ShellTerminalServerProxy

Private Readonly terminals

terminals: TerminalService

Private Readonly toDispose

toDispose: DisposableCollection = ...

Methods

$createTerminal

$createTerminal(id: string, options: TerminalOptions, isPseudoTerminal?: boolean): Promise<string>

Implementation of TerminalServiceMain.$createTerminal
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:119
Create new Terminal with Terminal options.

Parameters
- id: string
- options: TerminalOptions
- Optional isPseudoTerminal: boolean
Returns Promise<string>

$dispose

$dispose(id: string): void

Implementation of TerminalServiceMain.$dispose
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:175
Destroy terminal.

Parameters
- id: string
Returns void

$disposeByTerminalId

$disposeByTerminalId(id: number, waitOnExit?: string | boolean): void

Implementation of TerminalServiceMain.$disposeByTerminalId
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:225
Destroy terminal.

Parameters
- id: number
- Optional waitOnExit: string | boolean
Returns void

$hide

$hide(id: string): void

Implementation of TerminalServiceMain.$hide
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:165
Hide UI panel where is located terminal widget.

Parameters
- id: string
Returns void

$hideByTerminalId

$hideByTerminalId(id: number): void

Implementation of TerminalServiceMain.$hideByTerminalId
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:216
Hide UI panel where is located terminal widget.

Parameters
- id: number
Returns void

$resize

$resize(id: string, cols: number, rows: number): void

Implementation of TerminalServiceMain.$resize
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:111
Resize the terminal by id.

Parameters
- id: string
- cols: number
- rows: number
Returns void

$resizeByTerminalId

$resizeByTerminalId(id: number, cols: number, rows: number): void

Implementation of TerminalServiceMain.$resizeByTerminalId
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:199
Resize the terminal by id.

Parameters
- id: number
- cols: number
- rows: number
Returns void

$sendText

$sendText(id: string, text: string, addNewLine?: boolean): void

Implementation of TerminalServiceMain.$sendText
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:143
Send text to the terminal by id.

Parameters
- id: string
- text: string
- Optional addNewLine: boolean
Returns void

$sendTextByTerminalId

$sendTextByTerminalId(id: number, text: string, addNewLine?: boolean): void

Implementation of TerminalServiceMain.$sendTextByTerminalId
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:182
Send text to the terminal by id.

Parameters
- id: number
- text: string
- Optional addNewLine: boolean
Returns void

$setEnvironmentVariableCollection

$setEnvironmentVariableCollection(extensionIdentifier: string, persistent: boolean, collection: undefined | SerializableEnvironmentVariableCollection): void

Implementation of TerminalServiceMain.$setEnvironmentVariableCollection
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:59
Parameters
- extensionIdentifier: string
- persistent: boolean
- collection: undefined | SerializableEnvironmentVariableCollection
Returns void

$show

$show(id: string, preserveFocus?: boolean): void

Implementation of TerminalServiceMain.$show
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:154
Show terminal on the UI panel.

Parameters
- id: string
- Optional preserveFocus: boolean
Returns void

$showByTerminalId

$showByTerminalId(id: number, preserveFocus?: boolean): void

Implementation of TerminalServiceMain.$showByTerminalId
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:206
Show terminal on the UI panel.

Parameters
- id: number
- Optional preserveFocus: boolean
Returns void

$write

$write(id: string, data: string): void

Implementation of TerminalServiceMain.$write
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:103
Write data to the terminal by id.

Parameters
- id: string
- data: string
Returns void

$writeByTerminalId

$writeByTerminalId(id: number, data: string): void

Implementation of TerminalServiceMain.$writeByTerminalId
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:192
Write data to the terminal by id.

Parameters
- id: number
- data: string
Returns void

dispose

dispose(): void

Implementation of Disposable.dispose
- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:67
Returns void

Protected trackTerminal

trackTerminal(terminal: TerminalWidget): Promise<void>

- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:76
Parameters
- terminal: TerminalWidget
Returns Promise<void>

Protected updateCurrentTerminal

updateCurrentTerminal(): void

- Defined in packages/plugin-ext/src/main/browser/terminal-main.ts:71
Returns void