Fix WinBoard game-list title
authorH.G. Muller <h.g.muller@hccnet.nl>
Mon, 12 Jul 2010 09:10:17 +0000 (11:10 +0200)
committerArun Persaud <arun@nubati.net>
Wed, 14 Jul 2010 04:25:43 +0000 (21:25 -0700)
commit5abce92da74b24ecbb925e18fd61d53f57db26e5
tree261911c707fa1d7bc8ea85fdfeb83b203a4df6b9
parentabb44738f4b07bf3e1bab525d91cad6d6dc5eada
Fix WinBoard game-list title

Number of displayed games and WDL stats were always appended to the
existing title, leading to an ever-growing title in the game-list
window. Now the old actual title is ignored, and the starts is appended
to the original title "Game List". (In the future we could use the
filename here?)

In addition, the title was not updated when re-opening the game-list
window, while the stats could change if filtering was active when the
window was closed. (In that case the filter is cleared on re-opening, so
the number of displayed games changes.) Now a title-update (after
recalculating the stats) is done every time the game-list window is
opened.
winboard/wgamelist.c