Support Terminal.exitStatus API

Fixes #62103
This commit is contained in:
Daniel Imms
2019-11-05 09:09:39 -08:00
parent 7ab195a897
commit 2a0d3d0140
7 changed files with 157 additions and 6 deletions

View File

@@ -1196,7 +1196,7 @@ export interface ITerminalDimensionsDto {
}
export interface ExtHostTerminalServiceShape {
$acceptTerminalClosed(id: number): void;
$acceptTerminalClosed(id: number, exitCode: number | undefined): void;
$acceptTerminalOpened(id: number, name: string): void;
$acceptActiveTerminalChanged(id: number | null): void;
$acceptTerminalProcessId(id: number, processId: number): void;