Stk.Pack
Boxes to pack widgets.
val inter_padding : int Props.prop
Property "inter_padding"
use to specify a space between packed children. Default is 0
.
class 'a box : ?class_:string option -> ?name:string option -> ?props:Props.t option ->
unit -> object ... end
A box
is a Container.container
which stacks its children, giving each one more or less space according to its size and properties. Widgets can be stacked horizontally or vertically (depending on the Props.orientation
property).
val box :
orientation:Props.orientation ->
?class_:string ->
?name:string ->
?props:Props.t ->
?pack:(Widget.widget -> unit) ->
unit ->
'a box
Convenient function to create a box
. The class_
argument defaults to "vbox"
if orientation
is Vertical
or "hbox"
if orientation
is Horizontal
. See widget_arguments
for other arguments.
val hbox :
?class_:string ->
?name:string ->
?props:Props.t ->
?pack:(Widget.widget -> unit) ->
unit ->
'a box
Same as box
but orientation is already fixed to Horizontal
.
val vbox :
?class_:string ->
?name:string ->
?props:Props.t ->
?pack:(Widget.widget -> unit) ->
unit ->
'a box
Same as box
but orientation is already fixed to Vertical
.
A handle position, defined either as percentage or absolute position.
val handle_positions : handle_position option list Props.prop
Property "handle_positions"
, to store the positions of the handles in a paned
widget.
How to define handle position when the user moves it: as percentage or absolute value. This changes the way handle positions are updated when the paned
widget is resized: with `Percent
, ratios between children will be kept, but with `Absolute
the handles will remain at the same position.
val user_handle_positionning_wrapper : user_handle_positionning Ocf.wrapper
val user_handle_positionning : user_handle_positionning Props.prop
Property "user_handle_positionning"
.
val handle_props : Props.t Props.prop
Property "paned_handle_props"
to define appearance of handles in paned
widget. Default set Props.width
to 2
and Props.fg_color
to Color.grey
.
val user_set_handle_live_update : bool Props.prop
Property "paned_user_set_handle_live_update"
defines whether to update paned widget on each move of a handle by user (true
), or wait for the user to end moving the handle (false
). Default is true
. It may be useful to set it to false
when computation of children sizes may take some time.
class paned : ?class_:string option -> ?name:string option -> ?props:Props.t option ->
unit -> object ... end
Paned widget.
val paned :
Props.orientation ->
?class_:string ->
?name:string ->
?user_set_handle_live_update:bool ->
?props:Props.t ->
?pack:(Widget.widget -> unit) ->
unit ->
paned
val hpaned :
?class_:string ->
?name:string ->
?user_set_handle_live_update:bool ->
?props:Props.t ->
?pack:(Widget.widget -> unit) ->
unit ->
paned
val vpaned :
?class_:string ->
?name:string ->
?user_set_handle_live_update:bool ->
?props:Props.t ->
?pack:(Widget.widget -> unit) ->
unit ->
paned