diff --git a/build.js b/build.js index a9cc7800..1d5ebb2b 100644 --- a/build.js +++ b/build.js @@ -3,7 +3,7 @@ const child_process = require("child_process"); const fs = require("fs"); const fse = require("fs-extra"); -const vscodeVersion = "1.71.0"; +const vscodeVersion = "1.72.0"; if (!fs.existsSync("vscode")) { child_process.execSync(`git clone --depth 1 https://github.com/microsoft/vscode.git -b ${vscodeVersion}`, { diff --git a/package.json b/package.json index ff2ecaa6..1ca87919 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "vscode-web", - "version": "1.71.0", + "version": "1.72.0", "description": "Visual Studio Code for browser", "files": ["dist"], "scripts": { diff --git a/workbench.ts b/workbench.ts index 0b6e585f..bfbda136 100644 --- a/workbench.ts +++ b/workbench.ts @@ -1,10 +1,9 @@ import { - create, - IWorkbenchConstructionOptions, - IWorkspaceProvider, - IWorkspace, + create } from "vs/workbench/workbench.web.main"; import { URI, UriComponents } from "vs/base/common/uri"; +import { IWorkbenchConstructionOptions } from "vs/workbench/browser/web.api"; +import { IWorkspace, IWorkspaceProvider } from "vs/workbench/services/host/browser/browserHostService"; declare const window: any; (async function () {