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