# HG changeset patch
# User wenzelm
# Date 1609882858 -3600
# Node ID 893310d6d76d6745adbfcf9e4413b04f48d52145
# Parent  e8b8e9a6330f842323df1512c8652430c437d31b
recovered bundle icons (not application) from macos_app;

diff -r e8b8e9a6330f -r 893310d6d76d lib/logo/isabelle.icns
Binary file lib/logo/isabelle.icns has changed
diff -r e8b8e9a6330f -r 893310d6d76d src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 05 22:28:33 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Tue Jan 05 22:40:58 2021 +0100
@@ -305,6 +305,8 @@
 <dict>
 <key>CFBundleDevelopmentRegion</key>
 <string>English</string>
+<key>CFBundleIconFile</key>
+<string>isabelle.icns</string>
 <key>CFBundleIdentifier</key>
 <string>de.tum.in.isabelle.""" + isabelle_name + """</string>
 <key>CFBundleDisplayName</key>
@@ -646,9 +648,10 @@
             val isabelle_app = Path.explode(isabelle_name + ".app")
             val app_dir = tmp_dir + isabelle_app
             val app_contents = app_dir + Path.explode("Contents")
+            val app_resources =
+              Isabelle_System.make_directory(app_contents + Path.explode("Resources"))
 
-            File.move(tmp_dir + Path.explode(isabelle_name),
-              Isabelle_System.make_directory(app_contents + Path.explode("Resources")))
+            File.move(tmp_dir + Path.explode(isabelle_name), app_resources)
 
             val isabelle_home = Path.explode("Contents/Resources/" + isabelle_name)
             val isabelle_options = Path.explode("Isabelle.options")
@@ -658,6 +661,9 @@
             File.link(
               isabelle_home + isabelle_options, app_dir + isabelle_options, force = true)
 
+            File.copy(
+              app_dir + isabelle_home + Path.explode("lib/logo/isabelle.icns"), app_resources)
+
             make_isabelle_app(
               app_dir + Path.explode(isabelle_name),
               isabelle_home.implode, jdk_component, classpath)