Class GMisc.tips_query_signals

class tips_query_signals : Gtk.tips_query Gtk.obj -> object .. end

• GObj.widget_signals

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