CoqIDE: when jumping to an error also move the cursor

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16842 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 2 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 0d32954ba7..41e1900027 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1301,9 +1301,10 @@ let build_ui () =
       let lno = store#get ~row ~column:column1 in
       let tabno = store#get ~row ~column:column3 in
       let sn = notebook#get_nth_term tabno in
+      let where = sn.script#buffer#get_iter (`LINE (lno-1)) in
+      sn.buffer#place_cursor ~where;
       ignore(sn.script#scroll_to_iter
-        ~use_align:false ~yalign:0.75 ~within_margin:0.25
-        (sn.script#buffer#get_iter (`LINE (lno-1))))) in
+        ~use_align:false ~yalign:0.75 ~within_margin:0.25 where)) in
     (* So that the text is wrapped correctly in the model even if the window
      * has never been shown *)
     data#misc#realize ();