man GData.tooltips () - Add tips to your widgets

NAME

GData.tooltips - Add tips to your widgets

Class

Class GData.tooltips

Documentation

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

Add tips to your widgets

Parameters:

""

Gtk.tooltips Gtk.obj

val obj : Gtk.tooltips Gtk.obj

method as_tooltips : Gtk.tooltips Gtk.obj

method connect : GObj.gtkobj_signals

method disable : unit -> unit

method enable : unit -> unit

method set_delay : int -> unit

method set_tip : ?text:string -> ?privat:string -> GObj.widget -> unit