components: A asucc aplus leq llt aprem ex0

[helm.git] / matita / matita / matitaMathView.ml

diff --git a/matita/matita/matitaMathView.ml b/matita/matita/matitaMathView.ml
index 13d1a240cea2134e9f76810d148f1fa191e69f1d..09441303b02f7a4cd915098c788b6adce6bc9377 100644 (file)
--- a/matita/matita/matitaMathView.ml
+++ b/matita/matita/matitaMathView.ml
@@ -201,7 +201,11 @@ 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#lower;
             w#vadjustment#set_value
              (w#vadjustment#upper -. w#vadjustment#page_size));
       with Not_found -> assert false)