[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnubg] New Options menu
From: |
Gary Wong |
Subject: |
Re: [Bug-gnubg] New Options menu |
Date: |
Fri, 17 Jan 2003 12:03:09 -0500 |
User-agent: |
Mutt/1.3.28i |
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/
Re: [Bug-gnubg] New Options menu, Gary Wong, 2003/01/17