@gtkdoc gtk GtkWidget
inherit gtkobj_signalsmethod destroy : callback:(unit -> unit) -> GtkSignal.idmethod hide : callback:(unit -> unit) -> GtkSignal.idmethod map : callback:(unit -> unit) -> GtkSignal.idmethod parent_set : callback:(widget option -> unit) -> GtkSignal.idmethod draw : callback:(Gdk.cairo -> bool) -> GtkSignal.idmethod query_tooltip : callback:
(x:int -> y:int -> kbd:bool -> Gtk.tooltip -> bool) ->
GtkSignal.idmethod realize : callback:(unit -> unit) -> GtkSignal.idmethod unrealize : callback:(unit -> unit) -> GtkSignal.idmethod selection_get : callback:
(selection_context -> info:int -> time:int32 -> unit) ->
GtkSignal.idmethod selection_received : callback:(selection_data -> time:int32 -> unit) ->
GtkSignal.idmethod show : callback:(unit -> unit) -> GtkSignal.idmethod size_allocate : callback:(Gtk.rectangle -> unit) -> GtkSignal.idmethod state_changed : callback:(Gtk.Tags.state_type -> unit) -> GtkSignal.idmethod style_set : callback:(unit -> unit) -> GtkSignal.idmethod unmap : callback:(unit -> unit) -> GtkSignal.id