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, 8 May 2016 12:06:33 +0000 (14:06 +0200)
commitf24d18079fc6b1a9123491bed6b5c3ed82e5b8bd
tree504878f14fe312388431c958b036cc8cc64d0770
parent16da0a2c9322299329cdd29db35f73272caaacf1
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