module GData: sig
.. end
Non-Widgets objects carrying data
Non-Widgets objects carrying data
GtkAdjustement
class adjustment_signals : [> Gtk.adjustment ] Gtk.obj ->
object
.. end
class adjustment : Gtk.adjustment Gtk.obj ->
object
.. end
A GtkObject representing an adjustable bounded value
val adjustment : ?value:float ->
?lower:float ->
?upper:float ->
?step_incr:float ->
?page_incr:float -> ?page_size:float -> unit -> adjustment
lower
: default value is 0.
upper
: default value is 100.
step_incr
: default value is 1.
page_incr
: default value is 10.
page_size
: default value is 10.
val as_adjustment : adjustment -> Gtk.adjustment Gtk.obj
val conv_adjustment : adjustment Gobject.data_conv
val conv_adjustment_option : adjustment option Gobject.data_conv
Tooltips
class tooltips : Gtk.tooltips Gtk.obj ->
object
.. end
Add tips to your widgets
val tooltips : ?delay:int -> unit -> tooltips
Clipboards
class clipboard_skel : Gtk.clipboard Lazy.t ->
object
.. end
Storing data on clipboards
class clipboard : selection:Gdk.atom ->
object
.. end
val clipboard : Gdk.atom -> clipboard
val as_clipboard : clipboard -> Gtk.clipboard