diff --git a/packages/plugin-ext-vscode/src/node/plugin-vscode-init.ts b/packages/plugin-ext-vscode/src/node/plugin-vscode-init.ts index 9392b32ce6bb0..91b72ecdb2f12 100644 --- a/packages/plugin-ext-vscode/src/node/plugin-vscode-init.ts +++ b/packages/plugin-ext-vscode/src/node/plugin-vscode-init.ts @@ -28,11 +28,6 @@ let defaultApi: typeof theia; let isLoadOverride = false; let pluginApiFactory: PluginAPIFactory; -export enum ExtensionKind { - UI = 1, - Workspace = 2 -} - export const doInitialization: BackendInitializationFn = (apiFactory: PluginAPIFactory, plugin: Plugin) => { pluginsApiImpl.set(plugin.model.id, createVSCodeAPI(apiFactory, plugin)); plugins.push(plugin); @@ -45,20 +40,7 @@ export const doInitialization: BackendInitializationFn = (apiFactory: PluginAPIF }; function createVSCodeAPI(apiFactory: PluginAPIFactory, plugin: Plugin): typeof theia { - const vscode = Object.assign(apiFactory(plugin), { ExtensionKind }); - - // use Theia plugin api to implement vscode extensions api - (vscode).extensions = { - get all(): any[] { - return vscode.plugins.all; - }, - getExtension(pluginId: string): any | undefined { - return vscode.plugins.getPlugin(pluginId); - }, - get onDidChange(): theia.Event { - return vscode.plugins.onDidChange; - } - }; + const vscode = apiFactory(plugin); // override the version for vscode to be a VSCode version (vscode).version = process.env['VSCODE_API_VERSION'] || VSCODE_DEFAULT_API_VERSION;