Handle added/removed extensions in bulk

This commit is contained in:
Alex Dima
2019-01-18 17:12:12 +01:00
parent 8c06c890a3
commit ae72d6983d
5 changed files with 107 additions and 71 deletions

View File

@@ -741,8 +741,7 @@ export interface ExtHostExtensionServiceShape {
$activateByEvent(activationEvent: string): Promise<void>;
$activate(extensionId: ExtensionIdentifier, activationEvent: string): Promise<void>;
$addExtension(extension: IExtensionDescription): Promise<void>;
$removeExtension(extension: ExtensionIdentifier): Promise<void>;
$deltaExtensions(toAdd: IExtensionDescription[], toRemove: ExtensionIdentifier[]): Promise<void>;
$test_latency(n: number): Promise<number>;
$test_up(b: Buffer): Promise<number>;