I run gnubg (20090401), in Settings/Options
dialog I have two tabs labelled "Display".
The first one is screwed (not in sync
with actual settings) and modifying it does not
seem to have an effect (e.g. the setting
change is not stored).
The second tab works as expected, but
I noticed a quirk: I change the number of digits
and press OK. I get a pop-up confirming
the change and, after closing it, in the lower
part of the main window I also get a
message "You are already using the Mersenne