Fix missing service worker (#35)

Again.
coder · Dec 23, 2021 · 53bc751 · 53bc751
1 parent d50b73c
commit 53bc751
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/build/gulpfile.vscode.web.js b/build/gulpfile.vscode.web.js
@@ -41,6 +41,9 @@ const vscodeWebResourceIncludes = [
 	'out-build/vs/workbench/contrib/webview/browser/pre/*.js',
 	'out-build/vs/workbench/contrib/webview/browser/pre/*.html',
 
+	// Service worker
+	'out-build/vs/code/browser/workbench/service-worker.js',
+
 	// Extension Worker
 	'out-build/vs/workbench/services/extensions/worker/httpsWebWorkerExtensionHostIframe.html',
 	'out-build/vs/workbench/services/extensions/worker/httpWebWorkerExtensionHostIframe.html',