Have a startup flag in the extensions activation times

This commit is contained in:
Alex Dima
2017-08-25 11:42:02 +02:00
parent 227c103348
commit 27c07934d7
10 changed files with 53 additions and 39 deletions

View File

@@ -306,7 +306,7 @@ export interface MainThreadTaskShape extends IDisposable {
export interface MainThreadExtensionServiceShape extends IDisposable {
$localShowMessage(severity: Severity, msg: string): void;
$onExtensionActivated(extensionId: string, codeLoadingTime: number, activateCallTime: number, activateResolvedTime: number): void;
$onExtensionActivated(extensionId: string, startup: boolean, codeLoadingTime: number, activateCallTime: number, activateResolvedTime: number): void;
$onExtensionActivationFailed(extensionId: string): void;
}