diff options
Diffstat (limited to 'emacs/caml.el')
| -rw-r--r-- | emacs/caml.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/emacs/caml.el b/emacs/caml.el index 17aaa52da..965cc788f 100644 --- a/emacs/caml.el +++ b/emacs/caml.el @@ -297,6 +297,8 @@ have caml-electric-indent on, which see.") ;; caml-types (define-key caml-mode-map [?\C-c?\C-t] 'caml-types-show-type) + (define-key caml-mode-map [?\C-c?\C-s] 'caml-types-show-call) + (define-key caml-mode-map [?\C-c?\C-i] 'caml-types-show-ident) ;; 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 |