Shutting off tooltips (was Re: [gtkada] GVD)

[Emmanuel Briot]

Preben Randhol <randhol at pvv.org> writes:

> manuel.op.de.coul at eon-benelux.com wrote on 31/05/2002 (16:17) :
> > Quite simple, with Enable and Disable in Gtk.Tooltips.
> 
> But how do you do that for 100 tooltips in different widgets etc?

But if you are using the same Gtk_Tooltips group to store the tooltips, you
have a single call to Enable or Disable, this is why you can have multiple
Gtk_Tooltips widgets in your application.

In your application, just add
   Disable (Tooltips);

and you won't see them anymore. If you still want the tooltips on some other
part of your application, use a
   Tooltips2 : Gtk_Tooltips
in the call to Set_Tip.

Emmanuel