Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
revert accidental changes from f41ccbf028f5;
authorwenzelm
Tue, 09 Sep 2025 21:51:54 +0200
changeset 83122 766f732d7705
parent 83121 74a25a7c2481
child 83123 dacf5621b8d7
revert accidental changes from f41ccbf028f5;
src/Tools/VSCode/src/vscode_main.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/vscode_main.scala	Tue Sep 09 21:49:11 2025 +0200
+++ b/src/Tools/VSCode/src/vscode_main.scala	Tue Sep 09 21:51:54 2025 +0200
@@ -60,7 +60,8 @@
       error("""Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component""")
     }
     val args0 =
-      List(platform_path("$ISABELLE_VSCODIUM_RESOURCES/vscodium/out/cli.js"), "--locale", "en-US",
+      List(platform_path("$ISABELLE_VSCODIUM_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"))
     val script =
isabelle