Save programStartTime in settings file rather than save time
authorH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 24 Apr 2016 10:30:14 +0000 (12:30 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 24 Apr 2016 11:24:03 +0000 (13:24 +0200)
commitfa81f9170982520d00d773733bfac265978f0494
treebece9172e28609e97ecb573f8f33dc33b66bf4a2
parent6487eb595b4ee51f8eab706698333e57c5dc4ff8
Save programStartTime in settings file rather than save time

The -saveDate time stamp is used to decide whether XBoard has seen
options added to the master settings file before. But it looks only
to the master settings file at stratup. So when we save settings we
now put XBoards startup time as -saveDte in it, so that installs
when XBoard was already running would still find their way into the
user settings file.
args.h