[nongnu] externals/caml bb1103a 075/197: Scrolling .annot

[Stefan Monnier]

branch: externals/caml
commit bb1103a2092964358ecc66d060ed1b06cdf817b9
Author: Didier Rémy <Didier.Remy@inria.fr>
Commit: Didier Rémy <Didier.Remy@inria.fr>

    Scrolling .annot
    Delete overlays.
    
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5724 
f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 caml-types.el | 23 ++++++++++++++++++-----
 1 file changed, 18 insertions(+), 5 deletions(-)

diff --git a/caml-types.el b/caml-types.el
index bfa99be..386e5ba 100644
--- a/caml-types.el
+++ b/caml-types.el
@@ -121,17 +121,30 @@
                   (right (caml-types-get-pos target-buf
                                              (nth 2 loc) (nth 3 loc))))
               (move-overlay caml-types-expr-ovl left right target-buf))
-            (re-search-forward "^type(")  ;; not strictly correct
+            (re-search-forward "^type(");; not strictly correct
             (forward-line 1)
             (re-search-forward "  \\(\\([^\n)]\\|.)\\|\n[^)]\\)*\\)\n)")
             (move-overlay caml-types-type-ovl (match-beginning 1) (match-end 1)
                           type-buf)
             (message (format "type: %s" (match-string 1)))
-            ; *** this doesn't seem to work, I don't know why...
-            ; *** (goto-char type-point)
-            ; *** workaround: set the mark instead
+                                        ; *** this doesn't seem to work, I 
don't know why...
+                                        ; *** (goto-char type-point)
+                                        ; *** workaround: set the mark instead
             (set-mark (match-beginning 1))
-            (set-buffer target-buf)))))))
+            )))
+      (let
+          ((window (get-buffer-window type-buf))
+           (this-window (selected-window)))
+        
+        (if window
+            (progn
+              (select-window window)
+              (goto-char (mark))
+              (select-window this-window))))
+      (unwind-protect
+          (sit-for 3)
+        (delete-overlay caml-types-expr-ovl))
+      )))
 
 (defun caml-types-date< (date1 date2)
   (or (< (car date1) (car date2))