Add proposed API: change event for extensions.all

This commit is contained in:
Alex Dima
2019-01-28 16:44:48 +01:00
parent be1ca3cc42
commit 04accde33c
3 changed files with 18 additions and 0 deletions

View File

@@ -272,6 +272,9 @@ export function createApiFactory(
},
get all(): Extension<any>[] {
return extensionRegistry.getAllExtensionDescriptions().map((desc) => new Extension(extensionService, desc));
},
get onDidChange() {
return extensionRegistry.onDidChange;
}
};