--- a/lib/Tools/vscode Fri Mar 11 09:23:05 2022 +0100
+++ b/lib/Tools/vscode Mon Mar 14 16:03:15 2022 +0100
@@ -6,8 +6,9 @@
isabelle vscode_setup || exit "$?"
-exec "$ISABELLE_VSCODIUM_HOME/vscodium" \
- --locale en-US \
+ELECTRON_RUN_AS_NODE=1 "$ISABELLE_VSCODIUM_HOME/electron" \
+ "$(platform_path "$ISABELLE_VSCODIUM_HOME/resources/vscodium/out/cli.js")" \
+ --ms-enable-electron-run-as-node --locale en-US \
--user-data-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/user-data)" \
--extensions-dir "$(platform_path "$ISABELLE_VSCODE_SETTINGS"/extensions)" \
"$@"