Reintroduce terminal API request queue system

Fixes #11990
This commit is contained in:
Daniel Imms
2016-09-13 16:15:54 -07:00
committed by Daniel Imms
parent 1e51cd3d36
commit 5a5a9f7a40
3 changed files with 41 additions and 12 deletions

View File

@@ -153,7 +153,7 @@ export abstract class MainThreadOutputServiceShape {
}
export abstract class MainThreadTerminalServiceShape {
$createTerminal(name?: string, shellPath?: string, shellArgs?: string[]): number { throw ni(); }
$createTerminal(name?: string, shellPath?: string, shellArgs?: string[]): TPromise<number> { throw ni(); }
$dispose(terminalId: number): void { throw ni(); }
$hide(terminalId: number): void { throw ni(); }
$sendText(terminalId: number, text: string, addNewLine: boolean): void { throw ni(); }