diff options
| author | Didier Rémy <Didier.Remy@inria.fr> | 2003-07-29 16:44:56 +0000 |
|---|---|---|
| committer | Didier Rémy <Didier.Remy@inria.fr> | 2003-07-29 16:44:56 +0000 |
| commit | 312e62e4de06ba3512627fbe590c5a0c838c6297 (patch) | |
| tree | 1b76a1fdac5b9fc82aafcaf12b9cca341d87feeb /emacs/caml-help.el | |
| parent | 608f3e8db56278929706607a4a6eb9923a8a67ec (diff) | |
| download | ocaml-312e62e4de06ba3512627fbe590c5a0c838c6297.tar.gz | |
Modified `caml-types-explore' so that all well-typed subexpressions of the
current phrase are colored during exploration. -Didier
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'emacs/caml-help.el')
| -rw-r--r-- | emacs/caml-help.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/emacs/caml-help.el b/emacs/caml-help.el index 69e5b1c9f4..d2a448b427 100644 --- a/emacs/caml-help.el +++ b/emacs/caml-help.el @@ -720,7 +720,7 @@ buffer positions." (defun ocaml-link-goto (click) (interactive "e") (let* ((pos (caml-event-point-start click)) - (buf (caml-event-window click)) + (buf (window-buffer (caml-event-window click))) (window (selected-window)) (link)) (setq link |