Gtk.widget Gtk.obj ->
object ('a)
method after : 'a
method destroy : callback:(unit -> unit) -> GtkSignal.id
method hide : callback:(unit -> unit) -> GtkSignal.id
method map : callback:(unit -> unit) -> GtkSignal.id
method parent_set : callback:(GObj.widget option -> unit) -> GtkSignal.id
method realize : callback:(unit -> unit) -> GtkSignal.id
method selection_get :
callback:(GObj.selection_context -> info:int -> time:int32 -> unit) ->
GtkSignal.id
method selection_received :
callback:(GObj.selection_data -> time:int32 -> unit) -> GtkSignal.id
method show : callback:(unit -> unit) -> GtkSignal.id
method size_allocate : callback:(Gtk.rectangle -> unit) -> GtkSignal.id
method state_changed :
callback:(Gtk.Tags.state_type -> unit) -> GtkSignal.id
method style_set : callback:(unit -> unit) -> GtkSignal.id
method unmap : callback:(unit -> unit) -> GtkSignal.id
method unrealize : callback:(unit -> unit) -> GtkSignal.id
end