Work in progress for exposing all terminals via API

This commit is contained in:
Daniel Imms
2018-04-09 07:38:08 -07:00
parent eb0f99cb2e
commit 5d9d2d127f
9 changed files with 53 additions and 9 deletions

View File

@@ -728,6 +728,7 @@ export interface ExtHostQuickOpenShape {
export interface ExtHostTerminalServiceShape {
$acceptTerminalClosed(id: number): void;
$acceptTerminalOpened(id: number, name: string): void;
$acceptTerminalProcessId(id: number, processId: number): void;
}