Gtk.tips_query Gtk.obj ->
object ('a)
  method after : 'a
  method destroy : callback:(unit -> unit) -> GtkSignal.id
  method start_query : callback:(unit -> unit) -> GtkSignal.id
  method stop_query : callback:(unit -> unit) -> GtkSignal.id
  method widget_entered :
    callback:(GObj.widget option -> text:string -> privat:string -> unit) ->
    GtkSignal.id
  method widget_selected :
    callback:(GObj.widget option ->
              text:string -> privat:string -> GdkEvent.Button.t -> bool) ->
    GtkSignal.id
end