src/Pure/GUI/gui.scala
changeset 54676 6b2ca4850b71
parent 54659 b636dab842f3
child 54709 87402674fe2f
--- a/src/Pure/GUI/gui.scala	Thu Dec 05 19:47:48 2013 +0100
+++ b/src/Pure/GUI/gui.scala	Thu Dec 05 19:59:43 2013 +0100
@@ -127,7 +127,7 @@
   /* icon */
 
   def isabelle_icon(): ImageIcon =
-    new ImageIcon(getClass.getClassLoader.getResource("isabelle/isabelle-32.gif"))
+    new ImageIcon(getClass.getClassLoader.getResource("isabelle/isabelle_transparent-32.gif"))
 
   def isabelle_image(): Image = isabelle_icon().getImage