--- 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 */