Commit 421d54b1 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix scrolling of session view.

parent c92fd257
......@@ -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 ()
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment