man GMisc.tips_query () - Displays help about widgets in the user interface

NAME

GMisc.tips_query - Displays help about widgets in the user interface

Class GMisc.tips_query

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

Deprecated. . Displays help about widgets in the user interface

Parameters:

Gtk.tips_query Gtk.obj

val obj : Gtk.tips_query Gtk.obj

method connect : GMisc.tips_query_signals

method start : unit -> unit

method stop : unit -> unit

method set_caller : GObj.widget option -> unit

method set_emit_always : bool -> unit

method set_label_inactive : string -> unit

method set_label_no_tip : string -> unit

method caller : GObj.widget option

method emit_always : bool

method label_inactive : string

method label_no_tip : string