val destroy : ([> `widget ], unit -> unit) GtkSignal.tval show : ([> `widget ], unit -> unit) GtkSignal.tval hide : ([> `widget ], unit -> unit) GtkSignal.tval map : ([> `widget ], unit -> unit) GtkSignal.tval unmap : ([> `widget ], unit -> unit) GtkSignal.tval draw : ([> `widget ], Gdk.cairo -> bool) GtkSignal.tval query_tooltip : ([> `widget ], x:int -> y:int -> kbd:bool -> Gtk.tooltip -> bool) GtkSignal.tval realize : ([> `widget ], unit -> unit) GtkSignal.tval unrealize : ([> `widget ], unit -> unit) GtkSignal.tval state_changed : ([> `widget ], GtkEnums.state_type -> unit) GtkSignal.tval parent_set : ([> `widget ], Gtk.widget Gtk.obj option -> unit) GtkSignal.tval size_allocate : ([> `widget ], Gtk.rectangle -> unit) GtkSignal.tval style_set : ([> `widget ], Gtk.style option -> unit) GtkSignal.tval selection_get : ([> `widget ], Gtk.selection_data -> info:int -> time:int32 -> unit) GtkSignal.tval selection_received : ([> `widget ], Gtk.selection_data -> time:int32 -> unit) GtkSignal.tval drag_begin : ([> `widget ], Gdk.drag_context -> unit) GtkSignal.tval drag_data_delete : ([> `widget ], Gdk.drag_context -> unit) GtkSignal.tval drag_data_get : ([> `widget ], Gdk.drag_context -> Gtk.selection_data -> info:int -> time:int32 -> unit) GtkSignal.tval drag_data_received : ([> `widget ], Gdk.drag_context -> x:int -> y:int -> Gtk.selection_data -> info:int -> time:int32 -> unit) GtkSignal.tval drag_drop : ([> `widget ], Gdk.drag_context -> x:int -> y:int -> time:int32 -> bool) GtkSignal.tval drag_end : ([> `widget ], Gdk.drag_context -> unit) GtkSignal.tval drag_leave : ([> `widget ], Gdk.drag_context -> time:int32 -> unit) GtkSignal.tval drag_motion : ([> `widget ], Gdk.drag_context -> x:int -> y:int -> time:int32 -> bool) GtkSignal.tval event : ([> `widget ], GdkEvent.any -> bool) GtkSignal.tval event_after : ([> `widget ], GdkEvent.any -> unit) GtkSignal.t