Gtk.tips_query Gtk.obj ->
object ('a)
  method after : 'a
  method destroy : callback:(unit -> unit) -> GtkSignal.id
  method notify_caller :
    callback:(GObj.widget option -> unit) -> GtkSignal.id
  method notify_emit_always : callback:(bool -> unit) -> GtkSignal.id
  method notify_label_inactive : callback:(string -> unit) -> GtkSignal.id
  method notify_label_no_tip : callback:(string -> 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