From 421d54b152f380525fc7fa45f26be539b10bbf7d Mon Sep 17 00:00:00 2001 From: Guillaume Melquiond <guillaume.melquiond@inria.fr> Date: Fri, 7 Dec 2018 16:08:47 +0100 Subject: [PATCH] Fix scrolling of session view. --- src/ide/why3ide.ml | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/src/ide/why3ide.ml b/src/ide/why3ide.ml index cb3bcb50b4..1b7a33d71c 100644 --- a/src/ide/why3ide.ml +++ b/src/ide/why3ide.ml @@ -467,13 +467,15 @@ let (_ : GtkSignal.id) = let hp = GPack.paned `HORIZONTAL ~packing:hb#add () -let scrollview = +(** {2 view for the session tree} *) +let scrolled_session_view = let sv = GBin.scrolled_window ~hpolicy:`AUTOMATIC ~vpolicy:`AUTOMATIC - ~width:gconfig.tree_width ~shadow_type:`ETCHED_OUT + ~shadow_type:`ETCHED_OUT ~packing:hp#add () in + hp#set_position gconfig.tree_width; let (_ : GtkSignal.id) = sv#misc#connect#size_allocate ~callback: @@ -481,14 +483,6 @@ let scrollview = gconfig.tree_width <- w) in sv -(** {2 view for the session tree} *) -let scrolled_session_view = - GBin.scrolled_window - ~hpolicy: `AUTOMATIC ~vpolicy: `AUTOMATIC - ~shadow_type:`ETCHED_OUT - ~packing:scrollview#add_with_viewport - () - (* Vertical pan *) let vpan222 = GPack.paned `VERTICAL ~packing:hp#add () -- GitLab