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, 8 May 2016 12:06:34 +0000 (14:06 +0200)
commit3d9fcd78798d728341a7a41b19fefd5a24ed46d0
tree42240eead813c3c905619cac026e8190d95bfe29
parent519b36a5466171cac4d7c547836dbc17081dc53b
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