GObj
Base classes for objects and widgets
class gobject_ops : 'a Gtk.obj -> object ... end
class 'a gobject_signals : 'a Gtk.obj -> object ... end
class type 'a objvar = object ... end
class type gtkobj_signals = object ... end
class event_signals : [> Gtk.widget ] Gtk.obj -> object ... end
class event_ops : [> Gtk.widget ] Gtk.obj -> object ... end
@gtkdoc gtk GtkCssProvider
class css_provider : Gtk.css_provider -> object ... end
val css_provider : unit -> css_provider
class style_context : Gtk.style_context -> object ... end
@gtkdoc gtk GtkStyleContext
class selection_data : Gtk.selection_data -> object ... end
@gtkdoc gtk gtk-Selections
class selection_context : Gtk.selection_data -> object ... end
@gtkdoc gtk gtk-Selections
@gtkdoc gtk gtk-Drag-and-Drop
class drag_ops : Gtk.widget Gtk.obj -> object ... end
class misc_ops : Gtk.widget Gtk.obj -> object ... end
@gtkdoc gtk GtkWidget
class widget : [> Gtk.widget ] as 'a Gtk.obj -> object ... end
@gtkdoc gtk GtkWidget
class misc_signals : Gtk.widget Gtk.obj -> object ... end
@gtkdoc gtk GtkWidget
class drag_context : Gdk.drag_context -> object ... end
@gtkdoc gtk gtk-Drag-and-Drop
class drag_signals : Gtk.widget Gtk.obj -> object ... end
@gtkdoc gtk gtk-Drag-and-Drop
class 'a widget_impl : [> Gtk.widget ] as 'a Gtk.obj -> object ... end
@gtkdoc gtk GtkWidget
class type widget_signals = object ... end
@gtkdoc gtk GtkWidget
class widget_signals_impl : [> Gtk.widget ] as 'a Gtk.obj -> object ... end
@gtkdoc gtk GtkWidget
class widget_full : [> Gtk.widget ] as 'a Gtk.obj -> object ... end
@gtkdoc gtk GtkWidget
val as_widget : widget -> Gtk.widget Gtk.obj
@gtkdoc gtk GtkWidget
val conv_widget : widget Gobject.data_conv
val conv_widget_option : widget option Gobject.data_conv