tool tips in 2.5.1

[Klaus Major]

Hi Lars,

> Hi all,
>
> just a quick one:
>
> I finally bought 2.5.1 but can't turn off the tool tips in the  
> IDE.  I searched the docs and the list archives and only came up  
> with this:
>
> "To disable tool tips in the Revolution development environment,  
> choose Edit menu > Preferences. In the "Documentation" pane,  
> uncheck the "Display Tool Tips" box."

See the "Appearance" pane -> "Display tool tips after"

Enter 0 (zero) if you do not want any tooltips. 500 (millisecs) is  
the default.

> Well, in the edit menu there is no Preferences, and in the  
> preferences (the Revolution menu in OSX) there is no  
> "Documentation" pane.
> Am I losing it, or what!

:-)

> Cheers,
>
> Lars

Regards

Klaus Major
klaus at major-k.de
http://www.major-k.de