tool tips in 2.5.1

[Lars Brehmer]

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."

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