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