diff options
| -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) |