# HG changeset patch
# User wenzelm
# Date 1385902481 -3600
# Node ID d9c88171b393c201bb71f92e9f910f895ed9a438
# Parent  b636dab842f3ff22d4a48adc487e9b8706b27ebb
prefer isabelle application icon;

diff -r b636dab842f3 -r d9c88171b393 src/Tools/jEdit/lib/Tools/jedit
--- a/src/Tools/jEdit/lib/Tools/jedit	Sun Dec 01 13:03:15 2013 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Dec 01 13:54:41 2013 +0100
@@ -280,6 +280,16 @@
       print qq,<MODE NAME="isabelle-root" FILE="isabelle-root.xml" FILE_NAME_GLOB="ROOT"/>\n\n,; }
     print; }' dist/modes/catalog
 
+  cd dist
+  isabelle_jdk jar xf jedit.jar
+  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \
+    "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed
+  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \
+    "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed
+  isabelle_jdk jar cf jedit.jar org || failed
+  rm -rf org
+  cd ..
+
   cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
   (
     #workaround for scalac 2.10.2
diff -r b636dab842f3 -r d9c88171b393 src/Tools/jEdit/src/jEdit.props
--- a/src/Tools/jEdit/src/jEdit.props	Sun Dec 01 13:03:15 2013 +0100
+++ b/src/Tools/jEdit/src/jEdit.props	Sun Dec 01 13:54:41 2013 +0100
@@ -223,6 +223,7 @@
 largefilemode=full
 line-end.shortcut=END
 line-home.shortcut=HOME
+logo.icon.medium=32x32/apps/isabelle.gif
 lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
 match-bracket.shortcut2=C+9
 next-bracket.shortcut2=C+e C+9