diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 11:59:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-10-01 11:59:19 +0000 |
commit | 6defbc55ac79d76c8a57a9a5c3b83df122e4213c (patch) | |
tree | fdd7730c4554e42f9738c9329f9e4f4fabac3b0a | |
parent | 8fba6db8f135212bf220da53964f3362a605663c (diff) |
Add key binding fixes from Erik Martin-Dorel (see Trac#359).
-rw-r--r-- | coq/coq.el | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -1199,9 +1199,9 @@ be asked to the user." (define-key coq-keymap [(control ?t)] 'coq-insert-tactic) (define-key coq-keymap [(control ?T)] 'coq-insert-tactical) (define-key coq-keymap [(control ?r)] 'proof-store-response-win) -(define-key coq-keymap [(control ?g)] 'proof-store-goals-win) +(define-key coq-keymap [(control ?G)] 'proof-store-goals-win) -(define-key coq-keymap [(control space)] 'coq-insert-term) +(define-key coq-keymap [(control ?\s)] 'coq-insert-term) (define-key coq-keymap [(control return)] 'coq-insert-command) @@ -1221,7 +1221,7 @@ be asked to the user." (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?p)] 'coq-Print) (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?o)] 'coq-SearchIsos) (define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?b)] 'coq-About) -(define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?a)] 'coq-searchabout) +(define-key coq-goals-mode-map [(control ?c)(control ?a)(control ?a)] 'coq-SearchAbout) ; window auto-resize makes this bug sometimes. Too bad!. ;(define-key coq-response-mode-map [(control ?c)(control ?a)(control ?c)] 'coq-Check) |