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

[Preben Randhol]

Emmanuel Briot <briot at ACT-Europe.FR> wrote on 31/05/2002 (18:22) :
> 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.

Nice. OK then I can implement it fast :-)

-- 
Preben Randhol ------------------- http://www.pvv.org/~randhol/ --
                 «For me, Ada95 puts back the joy in programming.»