Bug#720548: xboard: does not store time settings in configuration file

[Vincent Legout]

reopen 720548
forwarded 720548 https://savannah.gnu.org/bugs/index.php?40161
thanks

folkert <folkert at vanheusden.com> writes:

>> > I always set time management to x seconds per move.
>> > Then I click on save settings.
>> > But after an xboard restart the settings are reset to the defaults.
>> 
>> I believe this has been fixed in XBoard 4.7.0, I'm therefore closing
>> this bug. Please reopen if you still have this issue with XBoard 4.7.
>
> Unfortunately 4.7 still has this problem.
> I am using 4.7.2-1 from debian unstable.

Sorry, I misread your initial mail, I thought you were talking about the
-inc option. You're right, the option is lost when XBoard restarts. I've
forwarded it upstream.

Thanks,
Vincent