ref: f3f0f009fffc078c441e388ccf7d0bd95dffc621
parent: 156b0c3e23acc3aee3f8a4f7d94132ba227de751
author: Jonas Kölker <jonaskoelker@yahoo.com>
date: Thu Oct 8 06:43:51 EDT 2015
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.
--- a/midend.c
+++ b/midend.c
@@ -547,8 +547,6 @@
{game_state *s;
- midend_stop_anim(me);
-
assert(me->statepos >= 1);
if (me->statepos == 1)
return; /* no point doing anything at all! */