diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-06-19 17:27:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-06-19 17:27:19 +0000 |
| commit | 73fdbe811271f196a94c6c0181776c23f9215e53 (patch) | |
| tree | 00ba070bbdde8b523f0d8d97a1a2f40a79418075 /generic | |
| parent | c203092f8fc99f606aaa1d9119fb93ab01de8ce3 (diff) | |
Match FSF C-button3 binding with XEmacs one
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-menu.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index e0e29384..3fc687ae 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -78,7 +78,8 @@ If in three window or multiple frame mode, display both buffers." (define-key map [(control button3)] 'proof-mouse-goto-point) (define-key map [(control button1)] 'proof-mouse-track-insert)) ; no FSF (t -(define-key map [mouse-3] 'proof-mouse-goto-point))) ; FSF +(define-key map [(control mouse-3)] 'proof-mouse-goto-point))) + ; FSF ;; NB: next binding overwrites comint-find-source-code. ;; FIXME: not implemented yet ;; (define-key map [(meta p)] 'proof-previous-matching-command) |