# HG changeset patch
# User wenzelm
# Date 1609884178 -3600
# Node ID d44552bf310f6d9784b2e69fd650d8db6876b68b
# Parent  893310d6d76d6745adbfcf9e4413b04f48d52145
clarified application init;

diff -r 893310d6d76d -r d44552bf310f src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Tue Jan 05 22:40:58 2021 +0100
+++ b/src/Pure/Tools/main.scala	Tue Jan 05 23:02:58 2021 +0100
@@ -26,6 +26,8 @@
           Isabelle_System.init()
           Isabelle_Fonts.init()
 
+          GUI.set_application_icon()
+
 
           /* ROOTS template */
 
diff -r 893310d6d76d -r d44552bf310f src/Tools/jEdit/src-base/plugin.scala
--- a/src/Tools/jEdit/src-base/plugin.scala	Tue Jan 05 22:40:58 2021 +0100
+++ b/src/Tools/jEdit/src-base/plugin.scala	Tue Jan 05 23:02:58 2021 +0100
@@ -19,8 +19,6 @@
   {
     Isabelle_System.init()
 
-    GUI.set_application_icon()
-
     Debug.DISABLE_SEARCH_DIALOG_POOL = true
 
     Syntax_Style.dummy_style_extender()