GNOME Bugzilla – Bug 726950
Undo does not update the header bar title
Last modified: 2014-03-24 14:46:40 UTC
Undo does not update the header bar title E.g. it is White player's turn, the title is "White to Move." Click Undo. Now it's Black's turn, title is "White to move."
Created attachment 272729 [details] [review] Update header bar title after Undo Now that we display the name of the player to move, we need to remember to keep this updated even if we go back in time.
Attachment 272729 [details] pushed as e75dc1c - Update header bar title after Undo