RE: [Bug-gnubg] New Options menu

[Ian Shaw]

> From: address@hidden
> [mailto:address@hidden Behalf Of Gary
> Wong
> > Dice... No tooltip on RNG selector button.
> 
> Well, there is no tooltip on the option menu as a whole, but there are
> individual tooltips on each of the choices while the menu is 
> popped up.

True, I hadn't spotted the tooltips on individual choices once the menu
is displayed.

> Is it really unclear what the menu is for (especially since the radio
> button immediately above has a tooltip describing it)?
> 
It's fine, IMO.

--Ian