| 1 | Index: generic/proof-menu.el |
|---|
| 2 | =================================================================== |
|---|
| 3 | RCS file: /disk/cvs/proofgen/ProofGeneral/generic/proof-menu.el,v |
|---|
| 4 | retrieving revision 10.51 |
|---|
| 5 | diff -c -r10.51 proof-menu.el |
|---|
| 6 | *** generic/proof-menu.el 21 Sep 2010 11:05:58 -0000 10.51 |
|---|
| 7 | --- generic/proof-menu.el 1 Oct 2010 22:40:15 -0000 |
|---|
| 8 | *************** |
|---|
| 9 | *** 123,129 **** |
|---|
| 10 | ;; C-c C-. is proof-goto-end-of-locked in universal-keys |
|---|
| 11 | (define-key map [(control c) (control return)] 'proof-goto-point) |
|---|
| 12 | (define-key map [(control c) ?v] 'pg-toggle-visibility) |
|---|
| 13 | ! (define-key map [(control mouse-3)] 'proof-mouse-goto-point) |
|---|
| 14 | ;; NB: next binding overwrites comint-find-source-code. |
|---|
| 15 | (define-key map [(meta p)] 'pg-previous-matching-input-from-input) |
|---|
| 16 | (define-key map [(meta n)] 'pg-next-matching-input-from-input) |
|---|
| 17 | --- 123,129 ---- |
|---|
| 18 | ;; C-c C-. is proof-goto-end-of-locked in universal-keys |
|---|
| 19 | (define-key map [(control c) (control return)] 'proof-goto-point) |
|---|
| 20 | (define-key map [(control c) ?v] 'pg-toggle-visibility) |
|---|
| 21 | ! (define-key map [(control meta mouse-3)] 'proof-mouse-goto-point) |
|---|
| 22 | ;; NB: next binding overwrites comint-find-source-code. |
|---|
| 23 | (define-key map [(meta p)] 'pg-previous-matching-input-from-input) |
|---|
| 24 | (define-key map [(meta n)] 'pg-next-matching-input-from-input) |
|---|
| 25 | Index: generic/pg-goals.el |
|---|
| 26 | =================================================================== |
|---|
| 27 | RCS file: /disk/cvs/proofgen/ProofGeneral/generic/pg-goals.el,v |
|---|
| 28 | retrieving revision 10.6 |
|---|
| 29 | diff -c -r10.6 pg-goals.el |
|---|
| 30 | *** generic/pg-goals.el 26 Aug 2010 23:39:20 -0000 10.6 |
|---|
| 31 | --- generic/pg-goals.el 1 Oct 2010 22:40:15 -0000 |
|---|
| 32 | *************** |
|---|
| 33 | *** 56,62 **** |
|---|
| 34 | (define-key proof-goals-mode-map [q] 'bury-buffer) |
|---|
| 35 | ;; TODO: use standard Emacs button behaviour here (cf Info mode) |
|---|
| 36 | (define-key proof-goals-mode-map [mouse-1] 'pg-goals-button-action) |
|---|
| 37 | ! (define-key proof-goals-mode-map [C-mouse-3] |
|---|
| 38 | 'proof-undo-and-delete-last-successful-command) |
|---|
| 39 | |
|---|
| 40 | |
|---|
| 41 | --- 56,62 ---- |
|---|
| 42 | (define-key proof-goals-mode-map [q] 'bury-buffer) |
|---|
| 43 | ;; TODO: use standard Emacs button behaviour here (cf Info mode) |
|---|
| 44 | (define-key proof-goals-mode-map [mouse-1] 'pg-goals-button-action) |
|---|
| 45 | ! (define-key proof-goals-mode-map [C-M-mouse-3] |
|---|
| 46 | 'proof-undo-and-delete-last-successful-command) |
|---|
| 47 | |
|---|
| 48 | |
|---|
| 49 | Index: generic/pg-vars.el |
|---|
| 50 | =================================================================== |
|---|
| 51 | RCS file: /disk/cvs/proofgen/ProofGeneral/generic/pg-vars.el,v |
|---|
| 52 | retrieving revision 10.16 |
|---|
| 53 | diff -c -r10.16 pg-vars.el |
|---|
| 54 | *** generic/pg-vars.el 1 Oct 2010 16:12:57 -0000 10.16 |
|---|
| 55 | --- generic/pg-vars.el 1 Oct 2010 22:40:15 -0000 |
|---|
| 56 | *************** |
|---|
| 57 | *** 269,275 **** |
|---|
| 58 | ([(control c) (control ?.)] . proof-goto-end-of-locked) |
|---|
| 59 | ([(control c) (control f)] . proof-find-theorems) |
|---|
| 60 | ([(control c) (control o)] . proof-display-some-buffers) |
|---|
| 61 | ! ([C-M-mouse-1] . pg-identifier-under-mouse-query)) ; holes overrides this |
|---|
| 62 | "List of key bindings made for all proof general buffers. |
|---|
| 63 | Elements of the list are tuples `(k . f)' |
|---|
| 64 | where `k' is a key binding (vector) and `f' the designated function." |
|---|
| 65 | --- 269,275 ---- |
|---|
| 66 | ([(control c) (control ?.)] . proof-goto-end-of-locked) |
|---|
| 67 | ([(control c) (control f)] . proof-find-theorems) |
|---|
| 68 | ([(control c) (control o)] . proof-display-some-buffers) |
|---|
| 69 | ! ([(control shift mouse-1)] . pg-identifier-under-mouse-query)) |
|---|
| 70 | "List of key bindings made for all proof general buffers. |
|---|
| 71 | Elements of the list are tuples `(k . f)' |
|---|
| 72 | where `k' is a key binding (vector) and `f' the designated function." |
|---|
