class tips_query_signals : Gtk.tips_query Gtk.obj ->
object
.. end
Deprecated..
Inherits
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
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