Interface TerminalServiceExt
Methods
$currentTerminalChanged
- $currentTerminalChanged(id: undefined | string): void
$initEnvironmentVariableCollections
- $initEnvironmentVariableCollections(collections: [string, SerializableEnvironmentVariableCollection][]): void
-
Parameters
-
collections: [string, SerializableEnvironmentVariableCollection][]
Returns void
$terminalClosed
- $terminalClosed(id: string): void
$terminalCreated
- $terminalCreated(id: string, name: string): void
$terminalNameChanged
- $terminalNameChanged(id: string, name: string): void
$terminalOnInput
- $terminalOnInput(id: string, data: string): void
$terminalOpened
- $terminalOpened(id: string, processId: number, terminalId: number, cols: number, rows: number): void
-
Parameters
-
id: string
-
processId: number
-
terminalId: number
-
cols: number
-
rows: number
Returns void
$terminalSizeChanged
- $terminalSizeChanged(id: string, cols: number, rows: number): void
-
Parameters
-
id: string
-
cols: number
-
rows: number
Returns void
getEnvironmentVariableCollection
- getEnvironmentVariableCollection(extensionIdentifier: string): EnvironmentVariableCollection
-
Parameters
-
extensionIdentifier: string
Returns EnvironmentVariableCollection