package ocgtk
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=4e50fdb5093136a10fc8ffbe388e44cbcb70d52f8afdd48863ec7e22580ff054
doc/ocgtk.gtk/Ocgtk_gtk/Gtk/Wrappers/Box/index.html
Module Wrappers.Box
type t = [ `box | `widget | `initially_unowned | `object_ ] Gobject.objval new_ : Gtk_enums.orientation -> int -> tCreate a new Box
val set_spacing : t -> int -> unitSets the number of pixels to place between children of @box.
val set_homogeneous : t -> bool -> unitSets whether or not all children of @box are given equal space in the box.
val set_baseline_position : t -> Gtk_enums.baselineposition -> unitSets the baseline position of a box.
This affects only horizontal boxes with at least one baseline aligned child. If there is more vertical space available than requested, and the baseline is not allocated by the parent then @position is used to allocate the baseline with respect to the extra space available.
val set_baseline_child : t -> int -> unitSets the baseline child of a box.
This affects only vertical boxes.
val reorder_child_after :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj option ->
unitMoves @child to the position after @sibling in the list of @box children.
If @sibling is %NULL, move @child to the first position.
val remove :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
unitRemoves a child widget from @box.
The child must have been added before with method@Gtk.Box.append, method@Gtk.Box.prepend, or method@Gtk.Box.insert_child_after.
val prepend :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
unitAdds @child as the first child to @box.
val insert_child_after :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj option ->
unitInserts @child in the position after @sibling in the list of @box children.
If @sibling is %NULL, insert @child at the first position.
val get_spacing : t -> intGets the value set by gtk_box_set_spacing().
val get_homogeneous : t -> boolReturns whether the box is homogeneous (all children are the same size).
val get_baseline_position : t -> Gtk_enums.baselinepositionGets the value set by gtk_box_set_baseline_position().
val get_baseline_child : t -> intGets the value set by gtk_box_set_baseline_child().
val append :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
unitAdds @child as the last child to @box.