From d9d68312a534b5fa85184dcc57187289b33767fd Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 12 May 2000 15:58:26 +0000 Subject: Specific keys begin C-c C-a, not C-c a. --- CHANGES | 2 +- generic/proof-menu.el | 10 ++++++---- 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/CHANGES b/CHANGES index 3dc8b5f7..ffad6363 100644 --- a/CHANGES +++ b/CHANGES @@ -18,7 +18,7 @@ *** Proof assistant specific keymap added - Keybindings for proof assistant now begin with "C-c a". + Keybindings for proof assistant now begin with "C-c C-a". *** Improved behaviour of electric terminator diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 4710ecaa..9b88475e 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -16,11 +16,13 @@ ;;;###autoload (defun proof-menu-define-keys (map) -(define-key map [(control c) a] (proof-assistant-keymap)) -(define-key map [(control c) (control a)] 'proof-goto-command-start) +(define-key map [(control c) (control a)] (proof-assistant-keymap)) +;; FIXME: C-c C-a and C-c C-e are lost. +;; Consider adding new submap for movement in proof script. +;; (define-key map [(control c) (control e)] 'proof-goto-command-end) +; (define-key map [(control c) (control a)] 'proof-goto-command-start) (define-key map [(control c) (control b)] 'proof-process-buffer) ; C-c C-c is proof-interrupt-process in universal-keys -(define-key map [(control c) (control e)] 'proof-goto-command-end) (define-key map [(control c) (control n)] 'proof-assert-next-command-interactive) (define-key map [(control c) (control p)] 'proof-prf) (define-key map [(control c) (control r)] 'proof-retract-buffer) @@ -279,7 +281,7 @@ suitable for adding to the proof assistant menu." (y-or-n-p "Should command be recorded in script? ") (read-string "Name of command on menu: ") (if (y-or-n-p "Set a keybinding for this command? : ") - (read-key-sequence "Type the key to use (I recommend C-c a ): " nil t)))) + (read-key-sequence "Type the key to use (I recommend C-c C-a ): " nil t)))) (let* ((menunames (split-string (downcase menuname))) (menuname-sym (proof-sym (proof-splice-separator "-" menunames))) (menu-fn menuname-sym) (i 1)) -- cgit v1.2.3