diff options
| author | Jonas Kölker <jonaskoelker@yahoo.com> | 2015-10-08 10:43:51 +0200 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2015-10-14 20:29:32 +0100 |
| commit | f3f0f009fffc078c441e388ccf7d0bd95dffc621 (patch) | |
| tree | 02c99b65e665d1c92f35e247ce745bd8fc807d97 /html | |
| parent | 156b0c3e23acc3aee3f8a4f7d94132ba227de751 (diff) | |
| download | puzzles-f3f0f009fffc078c441e388ccf7d0bd95dffc621.zip puzzles-f3f0f009fffc078c441e388ccf7d0bd95dffc621.tar.gz puzzles-f3f0f009fffc078c441e388ccf7d0bd95dffc621.tar.bz2 puzzles-f3f0f009fffc078c441e388ccf7d0bd95dffc621.tar.xz | |
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.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions