From 5e8ff235a4b74a0ab716e9c59bb7961daf5bde7c Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Mon, 21 Jul 2008 16:45:45 +0000 Subject: Changed the main menu of coq. Changed a shortcut for holes. --- lib/holes.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/holes.el') 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 -- cgit v1.2.3