# HG changeset patch
# User wenzelm
# Date 1647270565 -3600
# Node ID 249fde3aacbfc07622126866452f76b7925a3a04
# Parent  f64725832d6373d449ece010f72e400da6fc697f
tuned;

diff -r f64725832d63 -r 249fde3aacbf src/Tools/VSCode/src/build_vscodium.scala
--- a/src/Tools/VSCode/src/build_vscodium.scala	Mon Mar 14 16:03:15 2022 +0100
+++ b/src/Tools/VSCode/src/build_vscodium.scala	Mon Mar 14 16:09:25 2022 +0100
@@ -22,6 +22,8 @@
   val vscodium_repository = "https://github.com/VSCodium/vscodium.git"
   val vscodium_download = "https://github.com/VSCodium/vscodium/releases/download"
 
+  private val resources = Path.explode("resources")
+
 
   /* Isabelle symbols (static subset only) */
 
@@ -152,7 +154,6 @@
 
     def patch_resources(base_dir: Path): String =
     {
-      val resources = Path.explode("resources")
       val dir = base_dir + resources
       val patch =
         Isabelle_System.with_copy_dir(dir, dir.orig) {
@@ -190,11 +191,11 @@
 
     def init_resources(base_dir: Path): Path =
     {
-      val resources_dir = base_dir + Path.explode("resources")
+      val dir = base_dir + resources
       if (platform == Platform.Family.macos) {
-        Isabelle_System.symlink(Path.explode("VSCodium.app/Contents/Resources"), resources_dir)
+        Isabelle_System.symlink(Path.explode("VSCodium.app/Contents/Resources"), dir)
       }
-      resources_dir
+      dir
     }
 
     def setup_node(target_dir: Path, progress: Progress): Unit =
@@ -393,7 +394,7 @@
 
         Isabelle_System.copy_file(
           build_dir + Path.explode("vscode/node_modules/electron/dist/resources/default_app.asar"),
-          platform_dir + Path.explode("resources"))
+          platform_dir + resources)
 
         platform_info.setup_executables(platform_dir)
       })