man GMisc.tips_query_signals () - no description

NAME

GMisc.tips_query_signals - no description

Class GMisc.tips_query_signals

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

Deprecated. .

Parameters:

Gtk.tips_query Gtk.obj

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