[Bug-gnubg] Dice generator

[Rech, James]

Thanks for fixing the problem with retaining a change in the dice generator!  Btw, is there a way to make the dice dots brighter?  Say white rather than gray?

Thanks,

Jim Rech