# HG changeset patch
# User wenzelm
# Date 1757419857 -7200
# Node ID f41ccbf028f56e544f6bf46a51eb6dd0321b22e0
# Parent  d25d58cc131e1810c5f5d36b38ef8e2b96c39e4b
tuned output;

diff -r d25d58cc131e -r f41ccbf028f5 src/Tools/VSCode/src/component_vscodium.scala
--- 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))),
diff -r d25d58cc131e -r f41ccbf028f5 src/Tools/VSCode/src/vscode_main.scala
--- 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 =