[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-gnubg] Predefined setting 'expert' is not saved
From: |
Joern Thyssen |
Subject: |
Re: [Bug-gnubg] Predefined setting 'expert' is not saved |
Date: |
Fri, 10 Jan 2003 18:43:43 +0000 |
User-agent: |
Mutt/1.4i |
On Fri, Jan 10, 2003 at 04:18:18PM +0100, Scott Steiner wrote
> Hi,
>
> I'm using build Jan 10 2003. I noticed that when I set any predefined
> setting to 'expert', for instance in Settings|Players, then that setting
> is not saved. When I open the same menu again then I see 'user
> defined'. Saving settings doesn't help and produces the same
> behaviour. Other predefined settings don't seem to produce the same
> effect but I haven't tried them all out to know for sure.
I've commited a fix for this. The problem was only for settings that
involve 0-ply where move filters not used.
Jørn