sig
val start_query : ([> `tipsquery ], unit -> unit) GtkSignal.t
val stop_query : ([> `tipsquery ], unit -> unit) GtkSignal.t
val widget_entered :
([> `tipsquery ],
Gtk.widget Gtk.obj option -> text:string -> privat:string -> unit)
GtkSignal.t
val widget_selected :
([> `tipsquery ],
Gtk.widget Gtk.obj option ->
text:string -> privat:string -> GdkEvent.Button.t -> bool)
GtkSignal.t
end