diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 14:16:44 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-17 14:16:44 +0000 |
| commit | 175e664facf85117f99d351dea71a40411aecd16 (patch) | |
| tree | 3708f7be439f129c365769e41dde16d68aba589a /generic/proof-script.el | |
| parent | fffc80283aed0ff16596cbbc122de3fdb010cd53 (diff) | |
Fix mouse bindings to be different for FSF/XEmacs versions.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 6 |
1 files changed, 4 insertions, 2 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) |