package stk
Install
Dune Dependency
Authors
Maintainers
Sources
md5=c334ffabde8b710f1eba6699db0f601a
sha512=7978e3f10bc196ee6177ded9ae0313a5ba65e1a74e501fbecbe5ebc216ca6ee7117deaff5bc4c414083a4a55851a81e5dedaa8d0a880ad72689b3f56f3b064f5
doc/stk/Stk/Flex/class-flex/index.html
Class Flex.flex
Source
inherit Stk.Container.container
Properties
method orientation : Stk.Props.orientation
method set_orientation : Stk.Props.orientation -> unit
method justification : justification
method set_justification : justification -> unit
method items_alignment : item_alignment
method set_items_alignment : item_alignment -> unit
method content_alignment : content_alignment
method set_content_alignment : content_alignment -> unit
Accessing children
method widget_data : Stk.Widget.widget -> 'a option option
f#widget_data w
returns the wdata
associated the given widget w
, or None
if w
is not a child of f
.
method widget_index : Stk.Widget.widget -> int option
f#widget_index w
returns the 0-based position of w
in the children, or None
if w
is not a child of f
.
method children_widgets : Stk.Widget.widget list
f#children_widgets
returns the list of children widgets.
method reorder_child : Stk.Widget.widget -> int -> unit
f#reorder_child w pos
moves w
to pos
in the children list. Does nothing if w
is not a child of f
.
Packing/unpacking widgets
method pack : ?pos:int ->
?data:'a ->
?kind:item_kind ->
Stk.Widget.widget ->
unit
f#pack w
adds w
to the children of f
if it is not yet a child of f
. Optional arguments are:
pos
indicate the 0-based position to insertw
. Default is to appendw
after all children.data
associates the givendata
tow
.kind
specifies howw
must be considered when arranging elements. Default is not to specify any kind, so that this property for this widget has default value (seeFlex.item_kind
).
method pack_space : ?props:Stk.Props.t -> ?pos:int -> ?data:'a -> unit -> space
f#pack_space ()
creates a Flex.space
widget and packs it. See flex.pack
for arguments. Returns the created widget.
method pack_break : ?props:Stk.Props.t -> ?pos:int -> ?data:'a -> unit -> space
f#pack_break ()
creates a Flex.space
widget with `Break
item kind and packs it. See flex.pack
for arguments. Returns the created widget.
method unpack : Stk.Widget.widget -> unit
f#unpack w
removes w
from children. Does nothing if w
is not a child of f
.