diff options
| author | David Aspinall | 1999-11-17 14:16:44 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-17 14:16:44 +0000 |
| commit | 175e664facf85117f99d351dea71a40411aecd16 (patch) | |
| tree | 3708f7be439f129c365769e41dde16d68aba589a /generic | |
| parent | fffc80283aed0ff16596cbbc122de3fdb010cd53 (diff) | |
Fix mouse bindings to be different for FSF/XEmacs versions.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 6 | ||||
| -rw-r--r-- | generic/proof-shell.el | 10 |
2 files changed, 11 insertions, 5 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index d2e78cab..824b13a6 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -2425,9 +2425,11 @@ Otherwise just do proof-restart-buffers to delete some spans from memory." (define-key map [(control c) (control z)] 'proof-frob-locked-end) (define-key map [(control c) (control ?.)] 'proof-goto-end-of-locked) (define-key map [(control c) (control return)] 'proof-goto-point) -(define-key map [(control button1)] 'proof-mouse-track-insert) ; no FSF +(cond ((string-match "XEmacs" emacs-version) (define-key map [(control button3)] 'proof-mouse-goto-point) -(define-key map [mouse-3] 'proof-mouse-goto-point) ; FSF +(define-key map [(control button1)] 'proof-mouse-track-insert)) ; no FSF + (t +(define-key map [mouse-3] 'proof-mouse-goto-point))) ; FSF ;; NB: next binding overwrites comint-find-source-code. (define-key map [(control c) (control f)] 'proof-find-theorems) (define-key map [(control c) (control h)] 'proof-help) 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))) |