Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified application init;
authorwenzelm
Tue, 05 Jan 2021 23:02:58 +0100
changeset 73076 d44552bf310f
parent 73075 893310d6d76d
child 73077 75bd49ba9c28
clarified application init;
src/Pure/Tools/main.scala file | annotate | diff | comparison | revisions
src/Tools/jEdit/src-base/plugin.scala file | annotate | diff | comparison | revisions 
--- 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 */
 
--- 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()
isabelle