Fix handling username change during game
authorH.G. Muller <h.g.muller@hccnet.nl>
Wed, 24 Mar 2010 12:14:54 +0000 (13:14 +0100)
committerArun Persaud <arun@nubati.net>
Thu, 25 Mar 2010 05:44:09 +0000 (22:44 -0700)
commit0855b99b2a83b0e26b9ccb500ba9b9e15cffdb68
tree84795cc52e7eace2bf65fdcde64edee9f5842ddc
parente163486f1f5f391ca2ade9aa8be94b36acc16823
Fix handling username change during game

The title bar and gameInfo (going into the PGN) were not adapted when
the username was changed through the menu, so that the change became
only effective on the next game. Requires SetGameInfo to be called from
the front-end, and thus a prototype for it in backend.c.
backend.h
winboard/winboard.c