Class Pack.panedSource

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.

The widget has class "vertical" or "horizontal" depending on orientation.

inherit Stk.Container.container_list
inherit Stk.Widget.oriented

Properties

method handle_props : Stk.Props.t
method set_handle_props : ?delay:float -> ?propagate:bool -> Stk.Props.t -> unit
method handle_positions : handle_position option list
method set_handle_positions : ?delay:float -> ?propagate:bool -> handle_position option list -> unit
method user_handle_positionning : user_handle_positionning
method set_user_handle_positionning : ?delay:float -> ?propagate:bool -> user_handle_positionning -> unit
method user_set_handle_live_update : bool
method set_user_set_handle_live_update : ?delay:float -> ?propagate:bool -> 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.