# HG changeset patch
# User wenzelm
# Date 1386269983 -3600
# Node ID 6b2ca4850b71e68c807d4c393a24823f53373203
# Parent  ad329fef3023f3673176ac151439249f1476e9ef
uniform use of transparent icons, as for main "apps";

diff -r ad329fef3023 -r 6b2ca4850b71 src/Pure/GUI/gui.scala
--- 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
 
diff -r ad329fef3023 -r 6b2ca4850b71 src/Pure/build-jars
--- a/src/Pure/build-jars	Thu Dec 05 19:47:48 2013 +0100
+++ b/src/Pure/build-jars	Thu Dec 05 19:59:43 2013 +0100
@@ -220,7 +220,7 @@
   mkdir -p "$(dirname "$CHARSET_SERVICE")"
   echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"
 
-  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" isabelle/.
+  cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" isabelle/.
 
   isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \
     fail "Failed to produce $TARGET"
diff -r ad329fef3023 -r 6b2ca4850b71 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Thu Dec 05 19:47:48 2013 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit	Thu Dec 05 19:59:43 2013 +0100
@@ -282,9 +282,9 @@
 
   cd dist
   isabelle_jdk jar xf jedit.jar
-  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \
+  cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" \
     "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed
-  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \
+  cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" \
     "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed
   isabelle_jdk jar cfe jedit.jar org.gjt.sp.jedit.jEdit org || failed
   rm -rf META-INF org