diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2008-07-21 16:45:45 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2008-07-21 16:45:45 +0000 |
commit | 5e8ff235a4b74a0ab716e9c59bb7961daf5bde7c (patch) | |
tree | 05042c3207b87ac698d6d6afaa796525c1aad27c /lib/holes.el | |
parent | 779466b0ead451de11b91da93e9bafb08a1088cc (diff) |
Changed the main menu of coq. Changed a shortcut for holes.
Diffstat (limited to 'lib/holes.el')
-rw-r--r-- | lib/holes.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/holes.el b/lib/holes.el index 87ef86dc..8fe9139f 100644 --- a/lib/holes.el +++ b/lib/holes.el @@ -760,7 +760,7 @@ This keymap is used only when (define-key map [(control c) (control y)] 'holes-replace-update-active-hole) (define-key map [(control meta down-mouse-1)] 'holes-mouse-set-make-active-hole) (define-key map [(control meta shift down-mouse-1)] 'holes-mouse-replace-active-hole) - (define-key map [(meta return)] 'holes-set-point-next-hole-destroy) + (define-key map [(control c) (control j)] 'holes-set-point-next-hole-destroy) map) "Keymap of `holes-mode'. This is not the keymap used on holes's overlay |