RE: [Bug-gnubg] New Options menu

[Ian Shaw]

> On Fri, Jan 17, 2003 at 09:59:11AM -0000, Ian Shaw wrote
> > Nardy's build 16 Jan 03. 
> > 
> > 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?
>
Not worth the effort IMO. Just go with the GTK+ system.

 
> > MET... displaying the MET currently selected would help. How about a
> > selection box like the one for selecting boards? Or a button with a
> > list like the RNG selection list?
> 
> The problem with a selection list is that any file is 
> potentially a MET
> file, whereas all board designs are stored in a single file (well, two
> files). 
> 
How about just displaying the current selection.

> 
> > (Is it possible to make the show version info from the Help...
> 
> It should be available from Help->about (or the command "show 
> version").
> 
It is. Both just pop-up the Help about window. Unfortunately, you can't copy 
and paste this to use in bug reports. I think this would be a useful thing.
--Ian