From b2290acc0159c6ef4ccb1f628e3b649413fad87b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 6 Mar 2012 16:06:56 +0000 Subject: [PATCH] Bug fixed: horizontal scrolling now works correctly when the tab is changed. The patch, however, is costly (everything is re-drawn twice). --- matita/matita/matitaMathView.ml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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) -- 2.39.2