Don't stop animations when restarting an already restarted game.

Restarting a game that is already in the restarted state is meant to
be a no-op.  It stopped animations.  Don't do this.

Also, given that midmidend_restart_game called midend_stop_anim
twice, the invocation we remove was redundant.
This commit is contained in:
Jonas Kölker
2015-10-08 10:43:51 +02:00
committed by Simon Tatham
parent 156b0c3e23
commit f3f0f009ff

View File

@ -547,8 +547,6 @@ void midend_restart_game(midend *me)
{
game_state *s;
midend_stop_anim(me);
assert(me->statepos >= 1);
if (me->statepos == 1)
return; /* no point doing anything at all! */