# HG changeset patch
# User wenzelm
# Date 1609880718 -3600
# Node ID a1d4c9f5207adef4f168ab75b64fbc36c2e2cceb
# Parent  7460f92d63fc4e3331c013c86808c41a660249f5
more robust;

diff -r 7460f92d63fc -r a1d4c9f5207a src/Pure/GUI/gui.scala
--- a/src/Pure/GUI/gui.scala	Tue Jan 05 21:58:00 2021 +0100
+++ b/src/Pure/GUI/gui.scala	Tue Jan 05 22:05:18 2021 +0100
@@ -163,8 +163,11 @@
 
   def set_application_icon()
   {
-    if (Platform.is_macos) {
-      Taskbar.getTaskbar.setIconImage(isabelle_image_large())
+    if (Platform.is_macos && Taskbar.isTaskbarSupported) {
+      val taskbar = Taskbar.getTaskbar
+      if (taskbar.isSupported(Taskbar.Feature.ICON_IMAGE)) {
+        taskbar.setIconImage(isabelle_image_large())
+      }
     }
   }