From f3f0f009fffc078c441e388ccf7d0bd95dffc621 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jonas=20K=C3=B6lker?= <jonaskoelker@yahoo.com>
Date: Thu, 8 Oct 2015 10:43:51 +0200
Subject: [PATCH] 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.
---
 midend.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/midend.c b/midend.c
index c520c13..6fc5409 100644
--- 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! */
-- 
2.30.2