From c4d9732d454502d07bbc367fda65a46c6708ae6a Mon Sep 17 00:00:00 2001 From: Benjamin Pasero Date: Wed, 22 May 2019 12:33:23 +0200 Subject: [PATCH] tweak paths --- src/vs/code/browser/workbench/workbench.html | 8 +++++++- src/vs/code/browser/workbench/workbench.js | 2 +- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/src/vs/code/browser/workbench/workbench.html b/src/vs/code/browser/workbench/workbench.html index 832b6033bf7..92e4cba15f7 100644 --- a/src/vs/code/browser/workbench/workbench.html +++ b/src/vs/code/browser/workbench/workbench.html @@ -11,5 +11,11 @@ - + + + + \ No newline at end of file diff --git a/src/vs/code/browser/workbench/workbench.js b/src/vs/code/browser/workbench/workbench.js index 76e66c5c8d2..d20bee1092a 100644 --- a/src/vs/code/browser/workbench/workbench.js +++ b/src/vs/code/browser/workbench/workbench.js @@ -17,7 +17,7 @@ document.head.appendChild(script); } - loadScript('../../../../../out/vs/loader.js', function () { + loadScript('./out/vs/loader.js', function () { // @ts-ignore require.config({