Activate newly installed/enabled extensions

This commit is contained in:
Alex Dima
2019-01-15 13:50:13 +01:00
parent f7932f5bc5
commit 471a786cf3
4 changed files with 65 additions and 5 deletions

View File

@@ -739,6 +739,9 @@ export interface ExtHostExtensionServiceShape {
$resolveAuthority(remoteAuthority: string): Promise<ResolvedAuthority>;
$startExtensionHost(enabledExtensionIds: ExtensionIdentifier[]): Promise<void>;
$activateByEvent(activationEvent: string): Promise<void>;
$activate(extensionId: ExtensionIdentifier, activationEvent: string): Promise<void>;
$addExtension(extension: IExtensionDescription): Promise<void>;
$test_latency(n: number): Promise<number>;
$test_up(b: Buffer): Promise<number>;