Patch I've had lurking around for over a year and not remembered to
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Mon, 20 Nov 2006 10:20:46 +0000 (10:20 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Mon, 20 Nov 2006 10:20:46 +0000 (10:20 +0000)
commit0eb3b8994cbfa8c784121e6e49edad0e510d86e5
tree8177bc2f7bae5dc38b7259aeda6855e1339f4519
parent1a739e2fd0f176d82aa3dba471a129f9fad0bd39
Patch I've had lurking around for over a year and not remembered to
commit: arrange that midend_set_timer(), hence game_timing_state(),
is called when the game_ui is changed. This allows timed games to
work by obscuring the initial layout until an initial click causes
it to be revealed, without requiring that they store that reveal
operation as a move in the undo chain. Not that any games actually
do this, but it's clearly a sensible thing to want to do: since
game_timing_state() _receives_ a game_ui as a parameter, obviously
it should be consulted when the game_ui changes.

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@6914 cda61777-01e9-0310-a592-d414129be87e
midend.c