Re: [Bug-gnubg] New Options menu

[Nardy Pillards]

(snip)

> > I really like the new Options screen. I think it's much clearer than the
old one, and the tooltips are fab.
> >
> > Generally, tooltips do not show if the option is greyed out. Ideally,
> > tooltips should always be available. Is this something outside of
> > GnuBg's control?
>
> Most likely. I checked the GTK+ API manual, and it doesn't look like we
> can control it.
>
> A possible (untested!) work-around is to put each button in a box and
> assign the tooltips to the box instead of the button.
>
> Do we want this behaviour or not?
>

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

( snip )

> Jørn
>
>
> _______________________________________________
> Bug-gnubg mailing list
> address@hidden
> http://mail.gnu.org/mailman/listinfo/bug-gnubg
>