# HG changeset patch
# User wenzelm
# Date 1609933431 -3600
# Node ID 75bd49ba9c28f60b78aa302b5e2e865c6092dec4
# Parent  d44552bf310f6d9784b2e69fd650d8db6876b68b
recovered file-type icons from macos_app;

diff -r d44552bf310f -r 75bd49ba9c28 lib/logo/theory.icns
Binary file lib/logo/theory.icns has changed
diff -r d44552bf310f -r 75bd49ba9c28 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Tue Jan 05 23:02:58 2021 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Jan 06 12:43:51 2021 +0100
@@ -340,6 +340,8 @@
 <array>
 <string>thy</string>
 </array>
+<key>CFBundleTypeIconFile</key>
+<string>theory.icns</string>
 <key>CFBundleTypeName</key>
 <string>Isabelle theory file</string>
 <key>CFBundleTypeRole</key>
@@ -661,8 +663,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)
+            for (icon <- List("lib/logo/isabelle.icns", "lib/logo/theory.icns")) {
+              File.copy(app_dir + isabelle_home + Path.explode(icon), app_resources)
+            }
 
             make_isabelle_app(
               app_dir + Path.explode(isabelle_name),