diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-04-27 16:43:30 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-04-27 16:43:30 +0000 |
| commit | daf719e5554e823b6540be05e48e96ac478e2865 (patch) | |
| tree | 3e575c857c5c86935da78b9fcbf2ccbfa7ac2202 /dev/macosify_accel.sh | |
| parent | 591aefbf015cf30912bf5ade76feb000bb12cdd5 (diff) | |
Coqide MacOS integration refresh
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15254 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/macosify_accel.sh')
| -rwxr-xr-x | dev/macosify_accel.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev/macosify_accel.sh b/dev/macosify_accel.sh new file mode 100755 index 000000000..23c557f08 --- /dev/null +++ b/dev/macosify_accel.sh @@ -0,0 +1,3 @@ +#!/usr/bin/sed -f +s/^;\{0,1\} *\(.*\)<Control>\(.*\)$/\1<Primary>\2/ +s/^;\{0,1\} *\(.*\)<Alt>\(.*\)$/\1<Control>\2/ |