From 175e664facf85117f99d351dea71a40411aecd16 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 17 Nov 1999 14:16:44 +0000 Subject: Fix mouse bindings to be different for FSF/XEmacs versions. --- generic/proof-shell.el | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'generic/proof-shell.el') 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))) -- cgit v1.2.3