Re: [Bug-XBoard] [bug #40161] Does not store time settings in configuration file

[h . g . muller]

> 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.

Indeed, -searchTime is described as a volatile option. So it is not stored
in the settings file. Because engines do perform very inefficiently under
this time -control type, its use is not really recommended.

This is not a bug, but a case where "works as designed" does not coincide
with "works as desired" (by this particular user).

Note that anyone can change the XBoard defaults by adding the options to
specify the default settings he desires at the end of the /etc/xboard.conf
master-settings file.