author | wenzelm |
Sun, 18 Sep 2011 13:56:06 +0200 | |
changeset 44964 | 23dbab7f8cf4 |
parent 44963 | 4662dddc2fd8 |
child 44965 | 9e17d632a9ed |
Admin/makebundle | file | annotate | diff | comparison | revisions |
--- a/Admin/makebundle Sun Sep 18 13:47:12 2011 +0200 +++ b/Admin/makebundle Sun Sep 18 13:56:06 2011 +0200 @@ -83,6 +83,8 @@ ;; *-darwin) perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \ + -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \ + -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \ "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props" ;; *-cygwin)