Well, set it by default to 0 and the behavior will be the same for everyone. I am always in favor of user control when reasonable.
Assuming it is coupled with good default values and clear explanation what it does. (If you can't have a good default value this is a strong argument for having such an option) On Wed, Nov 5, 2008 at 10:36 AM, Nis Jørgensen <[EMAIL PROTECTED]> wrote: > Joseph Heled skrev: >> It shows 1.000 on the panel. > > And? As you seem to be aware, this is a rounded value. > >> I would like to set a user threshold (which you can arbitrarily max at >> 0.0005 or whatever) to decide when it is hopeless. > > I am trying to teach beginners NOT to give up in positions like this > one. I quite strongly oppose including such a feature in gnubg - the > options are complex enough already. > > Nis > > > > _______________________________________________ > Bug-gnubg mailing list > [email protected] > http://lists.gnu.org/mailman/listinfo/bug-gnubg > _______________________________________________ Bug-gnubg mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnubg
