diff options
| author | David Aspinall | 1999-11-23 16:49:18 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-23 16:49:18 +0000 |
| commit | 3db6a99413e5645c5e269163cfe686b4373ea869 (patch) | |
| tree | e34904bb7489579fd6ee5d95fc7179ecc7229a00 | |
| parent | a7712f60b4606fb2508c0b45615e7c6b64db7565 (diff) | |
Don't bind button1 in goals buffer, so cut and paste still work.
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 9b2ecf0b..6350bab9 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1872,14 +1872,15 @@ May enable proof-by-pointing or similar features. (define-key pbp-mode-map [(button2)] 'pbp-button-action) (define-key pbp-mode-map [(control button2)] 'proof-undo-and-delete-last-successful-command) ;; button 2 is a nuisance on 2 button mice, so we'll do 1 as well. - (define-key pbp-mode-map [(button1)] 'pbp-button-action) - (define-key pbp-mode-map [(control button1)] 'proof-undo-and-delete-last-successful-command) + ;; Actually we better hadn't, people like to use it for cut and paste. + ;; (define-key pbp-mode-map [(button1)] 'pbp-button-action) + ;; (define-key pbp-mode-map [(control button1)] 'proof-undo-and-delete-last-successful-command) (define-key pbp-mode-map [(button3)] 'pbp-yank-subterm)) (t (define-key pbp-mode-map [mouse-2] 'pbp-button-action) (define-key pbp-mode-map [C-mouse-2] 'proof-undo-and-delete-last-successful-command) - (define-key pbp-mode-map [mouse-1] 'pbp-button-action) - (define-key pbp-mode-map [C-mouse-1] 'proof-undo-and-delete-last-successful-command) + ;; (define-key pbp-mode-map [mouse-1] 'pbp-button-action) + ;; (define-key pbp-mode-map [C-mouse-1] 'proof-undo-and-delete-last-successful-command) (define-key pbp-mode-map [mouse-3] 'pbp-yank-subterm))) (define-key pbp-mode-map [q] 'bury-buffer) (easy-menu-add proof-goals-mode-menu pbp-mode-map) |