chiark / gitweb /
Patch I've had lurking around for over a year and not remembered to
authorSimon Tatham <anakin@pobox.com>
Mon, 20 Nov 2006 10:20:46 +0000 (10:20 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 20 Nov 2006 10:20:46 +0000 (10:20 +0000)
commit78c709e2391f0b4dc13af99b68eefd0c99ab6a87
tree8177bc2f7bae5dc38b7259aeda6855e1339f4519
parent13a9cb0bea7351132763a25e7d07b2e70ee99dd1
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.

[originally from svn r6914]
midend.c