# HG changeset patch # User wenzelm # Date 1610022493 -3600 # Node ID d08cbc36a99af0a92fc6523a682401c58803e6dc # Parent 86a18742e5b264673bfb5ff73812318f6ce1ed75 clarified dock icon: setup earlier on startup; diff -r 86a18742e5b2 -r d08cbc36a99a src/Pure/Admin/build_release.scala --- a/src/Pure/Admin/build_release.scala Thu Jan 07 13:23:54 2021 +0100 +++ b/src/Pure/Admin/build_release.scala Thu Jan 07 13:28:13 2021 +0100 @@ -258,7 +258,8 @@ path: Path, isabelle_home_prefix: String, jdk_component: String, - classpath: List[Path]) + classpath: List[Path], + dock_icon: Boolean = false) { val script = """#!/usr/bin/env bash # @@ -290,7 +291,8 @@ "-Disabelle.root=$ISABELLE_HOME" "${JAVA_OPTIONS[@]}" \ -classpath """" + classpath.map(p => "$ISABELLE_HOME/" + p.implode).mkString(":") + """" \ "-splash:$ISABELLE_HOME/lib/logo/isabelle.gif" \ - isabelle.Main "$@" +""" + (if (dock_icon) """"-Xdock:icon=$ISABELLE_HOME/lib/logo/isabelle_transparent-128.png" \ +""" else "") + """isabelle.Main "$@" """ File.write(path, script) File.set_executable(path, true) @@ -669,7 +671,7 @@ make_isabelle_app( app_dir + Path.explode(isabelle_name), - isabelle_home.implode, jdk_component, classpath) + isabelle_home.implode, jdk_component, classpath, dock_icon = true) make_isabelle_options( app_dir + isabelle_options, diff -r 86a18742e5b2 -r d08cbc36a99a src/Pure/GUI/gui.scala --- a/src/Pure/GUI/gui.scala Thu Jan 07 13:23:54 2021 +0100 +++ b/src/Pure/GUI/gui.scala Thu Jan 07 13:28:13 2021 +0100 @@ -157,20 +157,6 @@ def isabelle_image(): Image = isabelle_icon().getImage - def isabelle_image_large(): Image = - Toolkit.getDefaultToolkit.getImage( - File.platform_path(Path.explode("~~/lib/logo/isabelle_transparent-128.png"))) - - def set_application_icon() - { - if (Platform.is_macos && Taskbar.isTaskbarSupported) { - val taskbar = Taskbar.getTaskbar - if (taskbar.isSupported(Taskbar.Feature.ICON_IMAGE)) { - taskbar.setIconImage(isabelle_image_large()) - } - } - } - /* location within multi-screen environment */ diff -r 86a18742e5b2 -r d08cbc36a99a src/Pure/Tools/main.scala --- a/src/Pure/Tools/main.scala Thu Jan 07 13:23:54 2021 +0100 +++ b/src/Pure/Tools/main.scala Thu Jan 07 13:28:13 2021 +0100 @@ -26,8 +26,6 @@ Isabelle_System.init() Isabelle_Fonts.init() - GUI.set_application_icon() - /* ROOTS template */