diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c7302a5b..1b2671f9 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1880,9 +1880,13 @@ May enable proof-by-pointing or similar features. ; button 2 is a nuisance on 2 button mice ; (define-key pbp-mode-map [(button2)] 'pbp-button-action) (define-key pbp-mode-map [mouse-3] 'pbp-button-action) - (define-key pbp-mode-map [C-mouse-3] 'proof-undo-and-delete-last-successful-command) - (define-key pbp-mode-map [(button3)] 'pbp-button-action) - (define-key pbp-mode-map [(control button3)] 'proof-undo-and-delete-last-successful-command) + (cond + ((string-match "XEmacs" emacs-version) + + (define-key pbp-mode-map [(button3)] 'pbp-button-action) + (define-key pbp-mode-map [(control button3)] 'proof-undo-and-delete-last-successful-command)) + (t + (define-key pbp-mode-map [C-mouse-3] 'proof-undo-and-delete-last-successful-command))) (define-key pbp-mode-map [q] 'bury-buffer) (easy-menu-add proof-goals-mode-menu pbp-mode-map) (erase-buffer))) |