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.

diff --git a/midend.c b/midend.c
index c520c13c38aa81cd69aadb316a14c22b03be4575..6fc5409d04a4d988e3ec3a13cbafc5760a170294 100644 (file)
--- a/midend.c
+++ b/midend.c
@@ -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! */