Implement window.onDidCloseTerminal extension API

Fixes #10925
This commit is contained in:
Daniel Imms
2016-09-15 12:03:40 -07:00
parent 8f6caf1f9f
commit e3831ee39c
8 changed files with 82 additions and 11 deletions

View File

@@ -310,6 +310,10 @@ export abstract class ExtHostQuickOpenShape {
$validateInput(input: string): TPromise<string> { throw ni(); }
}
export abstract class ExtHostTerminalServiceShape {
$acceptTerminalClosed(id: number): void { throw ni(); }
}
// --- proxy identifiers
export const MainContext = {
@@ -343,4 +347,5 @@ export const ExtHostContext = {
ExtHostLanguageFeatures: createExtId<ExtHostLanguageFeaturesShape>('ExtHostLanguageFeatures', ExtHostLanguageFeaturesShape),
ExtHostQuickOpen: createExtId<ExtHostQuickOpenShape>('ExtHostQuickOpen', ExtHostQuickOpenShape),
ExtHostExtensionService: createExtId<ExtHostExtensionServiceShape>('ExtHostExtensionService', ExtHostExtensionServiceShape),
ExtHostTerminalService: createExtId<ExtHostTerminalServiceShape>('ExtHostTerminalService', ExtHostTerminalServiceShape)
};