--- a/src/Tools/VSCode/src/component_vscodium.scala Tue Sep 09 13:06:54 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala Tue Sep 09 14:10:57 2025 +0200
@@ -480,7 +480,8 @@
macOS prerequisites:
- Homebrew package manager: see https://brew.sh
- - brew packages: """ + macos_packages.mkString(" ") + """
+ - Homebrew packages:
+ brew install """ + macos_packages.mkString(" ") + """
""",
"D:" -> (arg => target_dir = Path.explode(arg)),
"M:" -> (arg => mingw = MinGW(Path.explode(arg))),
--- a/src/Tools/VSCode/src/vscode_main.scala Tue Sep 09 13:06:54 2025 +0200
+++ b/src/Tools/VSCode/src/vscode_main.scala Tue Sep 09 14:10:57 2025 +0200
@@ -60,8 +60,7 @@
error("""Undefined $ISABELLE_VSCODIUM_ELECTRON: missing "vscodium" component""")
}
val args0 =
- List(platform_path("$ISABELLE_VSCODIUM_RESOURCES/vscodium/out/cli.js"),
- "--ms-enable-electron-run-as-node", "--locale", "en-US",
+ List(platform_path("$ISABELLE_VSCODIUM_RESOURCES/vscodium/out/cli.js"), "--locale", "en-US",
"--user-data-dir", platform_path("$ISABELLE_VSCODE_SETTINGS/user-data"),
"--extensions-dir", platform_path("$ISABELLE_VSCODE_SETTINGS/extensions"))
val script =