From f46828f54f4d5ceb15c5aab243d1c41160459fde Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 9 Mar 2012 16:34:21 +0000 Subject: [PATCH] Fixes bug where switching to a new tab the slider is not updated correctly. --- matita/matita/matitaMathView.ml | 1 + 1 file changed, 1 insertion(+) 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) -- 2.39.2