Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/GUI/gui.scala
changeset 54658 a6697947e277
parent 54368 36dc6aa4fe87
child 54659 b636dab842f3 
--- a/src/Pure/GUI/gui.scala	Sat Nov 30 21:17:53 2013 +0100
+++ b/src/Pure/GUI/gui.scala	Sat Nov 30 22:56:20 2013 +0100
@@ -127,7 +127,7 @@
   /* icon */
 
   def isabelle_icon(): ImageIcon =
-    new ImageIcon(getClass.getClassLoader.getResource("isabelle/isabelle.gif"))
+    new ImageIcon(getClass.getClassLoader.getResource("isabelle/isabelle-icon.gif"))
 
   def isabelle_image(): Image = isabelle_icon().getImage
isabelle