diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2007-05-16 08:21:41 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2007-05-16 08:21:41 +0000 |
| commit | 1dd68ccf50afba140553a7cac8586dce93ffbbf2 (patch) | |
| tree | 3162e4240757c2d7a563438c64632333ee30d7fb /emacs/caml.el | |
| parent | 5dbc715029728bd9e9944f31fe6ac22ceb0a994d (diff) | |
ajout des annotations pour variables et appels terminaux
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 |