package ocgtk
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=4e50fdb5093136a10fc8ffbe388e44cbcb70d52f8afdd48863ec7e22580ff054
doc/ocgtk.gtk/Ocgtk_gtk/Gtk/Wrappers/List_header/index.html
Module Wrappers.List_header
type t = [ `list_header | `object_ ] Gobject.objval set_child :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj option ->
unitSets the child to be used for this listitem.
This function is typically called by applications when setting up a header so that the widget can be reused when binding it multiple times.
val get_start : t -> intGets the start position in the model of the section that @self is currently the header for.
If @self is unbound, %GTK_INVALID_LIST_POSITION is returned.
val get_n_items : t -> intGets the the number of items in the section.
If @self is unbound, 0 is returned.
val get_item : t -> [ `object_ ] Gobject.obj optionGets the model item at the start of the section. This is the item that occupies the list model at position property@Gtk.ListHeader:start.
If @self is unbound, this function returns %NULL.
val get_end : t -> intGets the end position in the model of the section that @self is currently the header for.
If @self is unbound, %GTK_INVALID_LIST_POSITION is returned.
val get_child :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj optionGets the child previously set via gtk_list_header_set_child() or %NULL if none was set.