Re: [Bug-gnubg] New Options menu

[Gary Wong]

On Fri, Jan 17, 2003 at 11:04:04AM +0000, Joern Thyssen wrote:
> On Fri, Jan 17, 2003 at 09:59:11AM -0000, Ian Shaw wrote
> > 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.

Clever!  I think that should work.  Unfortunately, it will be more
work in some cases, since here and there I cheated and put a group
of widgets in a box and set the box insensitive to avoid changing
each widget individually.  Those two techniques are incompatible...

> Do we want this behaviour or not?

I don't really care either way.  GNOME Bugzilla bug 55393:

    http://bugzilla.gnome.org/show_bug.cgi?id=55393

mentions the issue (a bit obliquely), so perhaps it will eventually
get changed without any work from us.

Cheers,
Gary.
-- 
   Gary Wong           address@hidden           http://www.cs.arizona.edu/~gary/