Handle the case of removing an extension from the extension host

This commit is contained in:
Alex Dima
2019-01-15 19:47:46 +01:00
parent 63a73b0460
commit 924b7a1fea
4 changed files with 15 additions and 2 deletions

View File

@@ -742,6 +742,7 @@ export interface ExtHostExtensionServiceShape {
$activate(extensionId: ExtensionIdentifier, activationEvent: string): Promise<void>;
$addExtension(extension: IExtensionDescription): Promise<void>;
$removeExtension(extension: ExtensionIdentifier): Promise<void>;
$test_latency(n: number): Promise<number>;
$test_up(b: Buffer): Promise<number>;