prefer isabelle application icon;
authorwenzelm
Sun Dec 01 13:54:41 2013 +0100 (2013-12-01 ago)
changeset 54660d9c88171b393
parent 54659 b636dab842f3
child 54661 6ad5242deaa7
prefer isabelle application icon;
src/Tools/jEdit/lib/Tools/jedit
src/Tools/jEdit/src/jEdit.props
     1.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Sun Dec 01 13:03:15 2013 +0100
     1.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Sun Dec 01 13:54:41 2013 +0100
     1.3 @@ -280,6 +280,16 @@
     1.4        print qq,<MODE NAME="isabelle-root" FILE="isabelle-root.xml" FILE_NAME_GLOB="ROOT"/>\n\n,; }
     1.5      print; }' dist/modes/catalog
     1.6  
     1.7 +  cd dist
     1.8 +  isabelle_jdk jar xf jedit.jar
     1.9 +  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \
    1.10 +    "org/gjt/sp/jedit/icons/themes/classic/32x32/apps/isabelle.gif" || failed
    1.11 +  cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" \
    1.12 +    "org/gjt/sp/jedit/icons/themes/tango/32x32/apps/isabelle.gif" || failed
    1.13 +  isabelle_jdk jar cf jedit.jar org || failed
    1.14 +  rm -rf org
    1.15 +  cd ..
    1.16 +
    1.17    cp -p -R -f "${JEDIT_JARS[@]}" dist/jars/. || failed
    1.18    (
    1.19      #workaround for scalac 2.10.2
     2.1 --- a/src/Tools/jEdit/src/jEdit.props	Sun Dec 01 13:03:15 2013 +0100
     2.2 +++ b/src/Tools/jEdit/src/jEdit.props	Sun Dec 01 13:54:41 2013 +0100
     2.3 @@ -223,6 +223,7 @@
     2.4  largefilemode=full
     2.5  line-end.shortcut=END
     2.6  line-home.shortcut=HOME
     2.7 +logo.icon.medium=32x32/apps/isabelle.gif
     2.8  lookAndFeel=javax.swing.plaf.nimbus.NimbusLookAndFeel
     2.9  match-bracket.shortcut2=C+9
    2.10  next-bracket.shortcut2=C+e C+9