package ocgtk
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=4e50fdb5093136a10fc8ffbe388e44cbcb70d52f8afdd48863ec7e22580ff054
doc/ocgtk.gtk/Ocgtk_gtk/Gtk/Wrappers/Expander/index.html
Module Wrappers.Expander
type t = [ `expander | `widget | `initially_unowned | `object_ ] Gobject.objval new_ : string option -> tCreate a new Expander
val new_with_mnemonic : string option -> tCreate a new Expander
val set_use_underline : t -> bool -> unitIf true, an underline in the text indicates a mnemonic.
val set_use_markup : t -> bool -> unitSets whether the text of the label contains Pango markup.
val set_resize_toplevel : t -> bool -> unitSets whether the expander will resize the toplevel widget containing the expander upon resizing and collapsing.
val set_label_widget :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj option ->
unitSet the label widget for the expander.
This is the widget that will appear embedded alongside the expander arrow.
val set_label : t -> string option -> unitSets the text of the label of the expander to @label.
This will also clear any previously set labels.
val set_expanded : t -> bool -> unitSets the state of the expander.
Set to %TRUE, if you want the child widget to be revealed, and %FALSE if you want the child widget to be hidden.
val set_child :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj option ->
unitSets the child widget of @expander.
val get_use_underline : t -> boolReturns whether an underline in the text indicates a mnemonic.
val get_use_markup : t -> boolReturns whether the label’s text is interpreted as Pango markup.
val get_resize_toplevel : t -> boolReturns whether the expander will resize the toplevel widget containing the expander upon resizing and collapsing.
val get_label_widget :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj optionRetrieves the label widget for the frame.
val get_label : t -> string optionFetches the text from a label widget.
This is including any embedded underlines indicating mnemonics and Pango markup, as set by method@Gtk.Expander.set_label. If the label text has not been set the return value will be %NULL. This will be the case if you create an empty button with gtk_button_new() to use as a container.
val get_expanded : t -> boolQueries a `GtkExpander` and returns its current state.
Returns %TRUE if the child widget is revealed.
val get_child :
t ->
[ `widget | `initially_unowned | `object_ ] Gobject.obj optionGets the child widget of @expander.
val on_activate :
?after:bool ->
t ->
callback:(unit -> unit) ->
Gobject.Signal.handler_id