--- 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
--- 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"
--- 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