From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 18 Jul 2005 16:58:38 +0000 (+0000)
Subject: Bug fixed: the "find" command now scrolls the window appropriately.
X-Git-Tag: V_0_7_2~188
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f081886fc7ef87031f74a88f22401feb2f69fae2;p=helm.git

Bug fixed: the "find" command now scrolls the window appropriately.
---

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 1d433f848..00684d975 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -170,7 +170,8 @@ class gui () =
       let find_forward _ = 
           let highlight start end_ =
             source_buffer#move_mark `INSERT ~where:start;
-            source_buffer#move_mark `SEL_BOUND ~where:end_
+            source_buffer#move_mark `SEL_BOUND ~where:end_;
+            source_view#scroll_mark_onscreen `INSERT
           in
           let text = findRepl#findEntry#text in
           let iter = source_buffer#get_iter `SEL_BOUND in