package ocgtk
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=4e50fdb5093136a10fc8ffbe388e44cbcb70d52f8afdd48863ec7e22580ff054
doc/ocgtk.gtk/Ocgtk_gtk/Gtk/Wrappers/Layout_manager/index.html
Module Wrappers.Layout_manager
type t = [ `layout_manager | `object_ ] Gobject.objval measure :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
Gtk_enums.orientation ->
int ->
int * int * int * intMeasures the size of the @widget using @manager, for the given @orientation and size.
See the class@Gtk.Widget documentation on layout management for more details.
val layout_changed : t -> unitQueues a resize on the `GtkWidget` using @manager, if any.
This function should be called by subclasses of `GtkLayoutManager` in response to changes to their layout management policies.
val get_widget :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj optionRetrieves the `GtkWidget` using the given `GtkLayoutManager`.
val get_request_mode : t -> Gtk_enums.sizerequestmodeRetrieves the request mode of @manager.
val get_layout_child :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
[ `layout_child | `object_ ] Gobject.objRetrieves a `GtkLayoutChild` instance for the `GtkLayoutManager`, creating one if necessary.
The @child widget must be a child of the widget using @manager.
The `GtkLayoutChild` instance is owned by the `GtkLayoutManager`, and is guaranteed to exist as long as @child is a child of the `GtkWidget` using the given `GtkLayoutManager`.
val allocate :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
int ->
int ->
int ->
unitAssigns the given @width, @height, and @baseline to a @widget, and computes the position and sizes of the children of the @widget using the layout management policy of @manager.