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


No differences found