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]
This commit is contained in:
Simon Tatham
2006-11-20 10:20:46 +00:00
parent 13a9cb0bea
commit 78c709e239

View File

@ -550,6 +550,7 @@ static int midend_really_process_key(midend *me, int x, int y, int button)
* state has been updated and a redraw is called for.
*/
midend_redraw(me);
midend_set_timer(me);
goto done;
} else if (s) {
midend_stop_anim(me);
@ -741,6 +742,8 @@ void midend_redraw(midend *me)
void midend_timer(midend *me, float tplus)
{
int need_redraw = (me->anim_time > 0 || me->flash_time > 0);
me->anim_pos += tplus;
if (me->anim_pos >= me->anim_time ||
me->anim_time == 0 || !me->oldstate) {
@ -753,6 +756,7 @@ void midend_timer(midend *me, float tplus)
me->flash_pos = me->flash_time = 0;
}
if (need_redraw)
midend_redraw(me);
if (me->timing) {