diff options
Diffstat (limited to 'emacs/caml.el')
| -rw-r--r-- | emacs/caml.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/emacs/caml.el b/emacs/caml.el index 74ad3731b..8e6da6a25 100644 --- a/emacs/caml.el +++ b/emacs/caml.el @@ -283,9 +283,8 @@ have caml-electric-indent on, which see.") ;; caml-types (define-key caml-mode-map [?\C-c?\C-t] 'caml-types-show-type) - ;; to prevent misbehavior in case of error during exploration. - (define-key caml-mode-map [mouse-2] 'caml-types-mouse-ignore) - (define-key caml-mode-map [down-mouse-2] 'caml-types-explore) + ;; must be a mouse-down event. Can be any button and any prefix + (define-key caml-mode-map [?\C-c down-mouse-1] 'caml-types-explore) ;; caml-help (define-key caml-mode-map [?\C-c?i] 'ocaml-add-path) (define-key caml-mode-map [?\C-c?]] 'ocaml-close-module) |