Progress on Terminal.show API

This commit is contained in:
Daniel Imms
2016-08-16 08:14:58 -07:00
parent d464fdc609
commit ab96b1918d
9 changed files with 87 additions and 17 deletions

View File

@@ -147,7 +147,8 @@ export abstract class MainThreadOutputServiceShape {
}
export abstract class MainThreadTerminalServiceShape {
$createTerminal(name?: string) { throw ni(); }
$createTerminal(name?: string): void { throw ni(); }
$show(terminalId: number, preserveFocus: boolean): void { throw ni(); }
}
export interface MyQuickPickItems extends IPickOpenEntry {