Paned widget.
Contains children widget separated by handles. Horizontal (or vertical if orientation is Vertical) space allocated to each child depends on handle positions. The first handle position defines how to distribute paned widget space between first and second children. The second handle position indicate how to distribube the remaining space between the second and third childreb, and so on.
inherit Stk.Container.containermethod orientation : Stk.Props.orientationmethod set_orientation : Stk.Props.orientation -> unitmethod handle_props : Stk.Props.tmethod set_handle_props : Stk.Props.t -> unitmethod handle_positions : handle_position option listmethod set_handle_positions : handle_position option list -> unitmethod user_handle_positionning : user_handle_positionningmethod set_user_handle_positionning : user_handle_positionning -> unitmethod children_widgets : Stk.Widget.widget listo#children_widgets returns the list of children widget of o.
method reorder_child : Stk.Widget.widget -> int -> unito#reorder_child w pos moves child widget w to new position pos (if possible).
method pack : ?pos:int -> Stk.Widget.widget -> unito#pack w adds widget w to o. Optional parameter pos indicates a position to insert w; default is to append w to children.
method unpack : Stk.Widget.widget -> unito#unpack w removes child widget w from o.