# HG changeset patch
# User wenzelm
# Date 1316346966 -7200
# Node ID 23dbab7f8cf4aabff5d8cd2ad3c106b89be40e8f
# Parent  4662dddc2fd83672b742007b71b04b74a5ba7c8c
tweak keyboard shortcuts for Mac OS X;

diff -r 4662dddc2fd8 -r 23dbab7f8cf4 Admin/makebundle
--- 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)