From: "Ian Shaw" <address@hidden>
To: "Joern Thyssen" <address@hidden>,"olivier croisille"
<address@hidden>
CC: "GNU Backgammon Bugs" <address@hidden>
Subject: RE: [Bug-gnubg] (no subject)
Date: Wed, 16 Jul 2003 22:14:51 +0100
> -----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