# 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,\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