Add option -pgnTimeLeft to print clocks in extended PGN info
authorH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 24 Apr 2016 20:34:06 +0000 (22:34 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sun, 24 Apr 2016 21:17:31 +0000 (23:17 +0200)
commit0fe341b64ac865097b5182ec7740fe18802efbd2
treeaedd05a744520ff49780d62379f2e5c82876c940
parentebf8f690dfc868c231baacd2232840e14586d00f
Add option -pgnTimeLeft to print clocks in extended PGN info

When set a persistent option -pgnTimeLeft makes XBoard save the time
left after the move in the score/depth comments, rather than the time
thought about the move. A leading sign will allow the reader to
distinguish the two. The time is always printed in integer seconds.
args.h
backend.c
common.h
xboard.texi