Interface TerminalServiceMain

Hierarchy

TerminalServiceMain

Implemented by

TerminalServiceMainImpl

Index

Methods

Methods

$createTerminal

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:284
Create new Terminal with Terminal options.

Parameters
- id: string
- options: TerminalOptions
  
  object with parameters to create new terminal.
- Optional isPseudoTerminal: boolean
Returns Promise<string>

$dispose

$dispose(id: string): void

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:326
Destroy terminal.

Parameters
- id: string
  
  terminal widget id.
Returns void

$disposeByTerminalId

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:369
Destroy terminal.

Parameters
- id: number
  
  terminal id.
- Optional waitOnExit: string | boolean
  
  Whether to wait for a key press before closing the terminal.
Returns void

$hide

$hide(id: string): void

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:320
Hide UI panel where is located terminal widget.

Parameters
- id: string
  
  terminal widget id.
Returns void

$hideByTerminalId

$hideByTerminalId(id: number): void

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:362
Hide UI panel where is located terminal widget.

Parameters
- id: number
  
  terminal id.
Returns void

$resize

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:307
Resize the terminal by id.

Parameters
- id: string
  
  terminal widget id.
- cols: number
  
  columns.
- rows: number
  
  rows.
Returns void

$resizeByTerminalId

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:349
Resize the terminal by id.

Parameters
- id: number
  
  terminal id.
- cols: number
  
  columns.
- rows: number
  
  rows.
Returns void

$sendText

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:292
Send text to the terminal by id.

Parameters
- id: string
  
  terminal widget id.
- text: string
  
  text content.
- Optional addNewLine: boolean
  
  in case true - add new line after the text, otherwise - don't apply new line.
Returns void

$sendTextByTerminalId

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:334
Send text to the terminal by id.

Parameters
- id: number
  
  terminal id.
- text: string
  
  text content.
- Optional addNewLine: boolean
  
  in case true - add new line after the text, otherwise - don't apply new line.
Returns void

$setEnvironmentVariableCollection

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:371
Parameters
- extensionIdentifier: string
- persistent: boolean
- collection: undefined | SerializableEnvironmentVariableCollection
Returns void

$show

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:314
Show terminal on the UI panel.

Parameters
- id: string
  
  terminal widget id.
- Optional preserveFocus: boolean
  
  set terminal focus in case true value, and don't set focus otherwise.
Returns void

$showByTerminalId

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:356
Show terminal on the UI panel.

Parameters
- id: number
  
  terminal id.
- Optional preserveFocus: boolean
  
  set terminal focus in case true value, and don't set focus otherwise.
Returns void

$write

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:299
Write data to the terminal by id.

Parameters
- id: string
  
  terminal widget id.
- data: string
  
  data.
Returns void

$writeByTerminalId

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

- Defined in packages/plugin-ext/src/common/plugin-api-rpc.ts:341
Write data to the terminal by id.

Parameters
- id: number
  
  terminal id.
- data: string
  
  data.
Returns void