# HG changeset patch
# User wenzelm
# Date 1757098995 -7200
# Node ID fa5ab7b6a45b03f5a4762695277706ab64be6f41
# Parent  9ecea6b0f4acb1162a95db212910955f4633c640
proper electron_resources for macos;

diff -r 9ecea6b0f4ac -r fa5ab7b6a45b src/Tools/VSCode/src/component_vscodium.scala
--- a/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 05 20:28:58 2025 +0200
+++ b/src/Tools/VSCode/src/component_vscodium.scala	Fri Sep 05 21:03:15 2025 +0200
@@ -425,8 +425,11 @@
       val resources_patch = build_context.patch_resources(platform_dir)
       write_patch("03-isabelle_resources", resources_patch)
 
+      val electron_resources =
+        Path.explode("vscode/node_modules/electron/dist") +
+          (if (platform.is_macos) Path.explode("Electron.app/Contents/Resources") else resources)
       Isabelle_System.copy_file(
-        build_dir + Path.explode("vscode/node_modules/electron/dist/resources/default_app.asar"),
+        build_dir + electron_resources + Path.explode("default_app.asar"),
         platform_dir + resources)
 
       build_context.setup_executables(platform_dir)