From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 6 Mar 2012 16:06:56 +0000 (+0000)
Subject: Bug fixed: horizontal scrolling now works correctly when the tab is changed.
X-Git-Tag: make_still_working~1897
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b2290acc0159c6ef4ccb1f628e3b649413fad87b;p=helm.git

Bug fixed: horizontal scrolling now works correctly when the tab is changed.
The patch, however, is costly (everything is re-drawn twice).
---

diff --git a/matita/matita/matitaMathView.ml b/matita/matita/matitaMathView.ml
index 13d1a240c..e62c9f32c 100644
--- a/matita/matita/matitaMathView.ml
+++ b/matita/matita/matitaMathView.ml
@@ -201,7 +201,10 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () =
             let w =
              new GBin.scrolled_window
               (Gobject.try_cast p#as_widget "GtkScrolledWindow") in
-            w#hadjustment#set_value 0.0;
+            (* The double change upper/lower is to trigger the emission of
+               changed :-( *)
+            w#hadjustment#set_value w#hadjustment#upper;
+            w#hadjustment#set_value w#hadjustment#lower;
             w#vadjustment#set_value
              (w#vadjustment#upper -. w#vadjustment#page_size));
       with Not_found -> assert false)