package ocgtk
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=4e50fdb5093136a10fc8ffbe388e44cbcb70d52f8afdd48863ec7e22580ff054
doc/ocgtk.gtk/Ocgtk_gtk/Gtk/Wrappers/Overlay/index.html
Module Wrappers.Overlay
type t = [ `overlay | `widget | `initially_unowned | `object_ ] Gobject.objval new_ : unit -> tCreate a new Overlay
val set_measure_overlay :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
bool ->
unitSets whether @widget is included in the measured size of @overlay.
The overlay will request the size of the largest child that has this property set to %TRUE. Children who are not included may be drawn outside of @overlay's allocation if they are too large.
val set_clip_overlay :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
bool ->
unitSets whether @widget should be clipped within the parent.
val set_child :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj option ->
unitSets the child widget of @overlay.
val remove_overlay :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
unitRemoves an overlay that was added with gtk_overlay_add_overlay().
val get_measure_overlay :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
boolGets whether @widget's size is included in the measurement of @overlay.
val get_clip_overlay :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
boolGets whether @widget should be clipped within the parent.
val get_child :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj optionGets the child widget of @overlay.
val add_overlay :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj ->
unitAdds @widget to @overlay.
The widget will be stacked on top of the main widget added with method@Gtk.Overlay.set_child.
The position at which @widget is placed is determined from its property@Gtk.Widget:halign and property@Gtk.Widget:valign properties.