From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 9 Mar 2012 16:34:21 +0000 (+0000)
Subject: Fixes bug where switching to a new tab the slider is not updated correctly.
X-Git-Tag: make_still_working~1867
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f46828f54f4d5ceb15c5aab243d1c41160459fde;p=helm.git

Fixes bug where switching to a new tab the slider is not updated correctly.
---

diff --git a/matita/matita/matitaMathView.ml b/matita/matita/matitaMathView.ml
index e62c9f32c..09441303b 100644
--- a/matita/matita/matitaMathView.ml
+++ b/matita/matita/matitaMathView.ml
@@ -205,6 +205,7 @@ class sequentsViewer ~(notebook:GPack.notebook) ~(cicMathView:cicMathView) () =
                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)