Class Pack.paned

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.container

Properties

method orientation : Stk.Props.orientation
method set_orientation : Stk.Props.orientation -> unit
method handle_props : Stk.Props.t
method set_handle_props : Stk.Props.t -> unit
method handle_positions : handle_position option list
method set_handle_positions : handle_position option list -> unit
method user_handle_positionning : user_handle_positionning
method set_user_handle_positionning : user_handle_positionning -> unit
method user_set_handle_live_update : bool
method set_user_set_handle_live_update : bool -> unit

Children

method children_widgets : Stk.Widget.widget list

o#children_widgets returns the list of children widget of o.

method reorder_child : Stk.Widget.widget -> int -> unit

o#reorder_child w pos moves child widget w to new position pos (if possible).

method pack : ?pos:int -> Stk.Widget.widget -> unit

o#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 -> unit

o#unpack w removes child widget w from o.

method unpack_all : destroy:bool -> unit

o#unpack_all ~destroy removes all children from o. destroy indicates whether to call #destroy on children after removing.