RE: [Bug-gnubg] New Options menu

[Albert Silver]

> My opinion:
> Options not checked, not needed to pop up a tooltip
> (just confuses a beginner user, and an advanced knows how to get them,
and
> a
> normal user is not interested in tooltips of options he/she does not
use)
> 
> Nardy

I'm not sure I agree. The reason a beginner user doesn't use certain
options is usually because they have no idea what it is for and don't
want to discover they accidentally started the countdown to
self-destruction. Floating tips usually help resolve this as they
provide a quick bit of information to let the user know more. 

                                                Albert