platform-specific look and feel;
authorwenzelm
Wed Sep 07 22:00:41 2011 +0200 (2011-09-07)
changeset 4480744db3e309060
parent 44806 3950842bb628
child 44808 05b8997899a2
platform-specific look and feel;
Admin/makebundle
     1.1 --- a/Admin/makebundle	Wed Sep 07 21:41:36 2011 +0200
     1.2 +++ b/Admin/makebundle	Wed Sep 07 22:00:41 2011 +0200
     1.3 @@ -75,7 +75,13 @@
     1.4  )
     1.5  
     1.6  case "$PLATFORM" in
     1.7 -  x86-cygwin)
     1.8 +  *-darwin)
     1.9 +    perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \
    1.10 +      "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
    1.11 +    ;;
    1.12 +  *-cygwin)
    1.13 +    perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
    1.14 +      "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
    1.15      rm "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    1.16      ln -s ProofGeneral-3.7.1.1 "$TMP/$ISABELLE_NAME/contrib/ProofGeneral"
    1.17      ;;