add the product overrides element (#73)

microsoft · Apr 5, 2023 · 04dcaa1 · 04dcaa1
1 parent 69a0a16
commit 04dcaa1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/views/workbench.html b/views/workbench.html
@@ -25,6 +25,9 @@
 		<!-- Builtin Extensions (running out of sources) -->
 		<meta id="vscode-workbench-builtin-extensions" data-settings="{{WORKBENCH_BUILTIN_EXTENSIONS}}">
 
+		<!-- Product Overrides (running out of sources) -->
+		<meta id="vscode-workbench-product-overrides" data-settings="{{WORKBENCH_PRODUCT_OVERRIDES}}">
+
 		<!-- Workbench Icon/Manifest/CSS -->
 		<link rel="icon" href="{{WORKBENCH_WEB_BASE_URL}}/favicon.ico" type="image/x-icon" />
 		<link rel="manifest" href="{{WORKBENCH_WEB_BASE_URL}}/manifest.json">