chiark / gitweb /
Don't stop animations when restarting an already restarted game.
authorJonas Kölker <jonaskoelker@yahoo.com>
Thu, 8 Oct 2015 08:43:51 +0000 (10:43 +0200)
committerSimon Tatham <anakin@pobox.com>
Wed, 14 Oct 2015 19:29:32 +0000 (20:29 +0100)
commitf3f0f009fffc078c441e388ccf7d0bd95dffc621
tree02c99b65e665d1c92f35e247ce745bd8fc807d97
parent156b0c3e23acc3aee3f8a4f7d94132ba227de751
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