RE: [Bug-gnubg] (no subject)

[Ian Shaw]

> -----Original Message-----
> From: Joern Thyssen
> Sent: 16 July 2003 20:21
> 
> 
> On Wed, Jul 16, 2003 at 07:38:51PM +0200, olivier croisille wrote
> [snip]
> > Plus, there may be out there casual users of GNU that would 
> be quite happy 
> > with 2 or even 1 decimal places... so IMHO the best 
> solution - if not too 
> > much time consuming - is to include this choice as an 
> option, I mean a real 
> > option, not a 'hidden' one as Jørn suggested
> 
> The option is now available from Settings->Options->Display.
> 
> Jørn
> 
Much respect to you, Jørn, for keeping us all happy! And fast, too. Now that 
the option is available, I can see myself using it a lot, depending on what I'm 
doing. For tutor mode I think I would use very few digits.

I never thought such a small thing would generate so much heat! 

Thanks again,
Ian