Fix awareness of settings changed by -firstOption
authorH.G.Muller <hgm@hgm-xboard.(none)>
Thu, 5 Jan 2017 16:05:22 +0000 (17:05 +0100)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Fri, 13 Jan 2017 15:39:25 +0000 (16:39 +0100)
commitd45b23cf75433a48797cfc5e81ce8fdcfea7c94b
tree9e8c71ebbd39ce6f1076d148267afb6b2006a46f
parent494c14427dd2854d928019558e1cf8f87ba30ca7
Fix awareness of settings changed by -firstOption

Options of the type -file and -path that were set through -firstOptions
would not get their 'current value' updated, so that XBoard would not
set them properly on a reload because of reuse=0. In addition the default
value for all option types would be remembered as the value specified
by -firstOptions, rather than the engine default, possibly preventing
their saving on Make Persistent.
backend.c