chiark / gitweb /
Reset midend animation counters on starting a new game.
authorJonas Kölker <jonaskoelker@yahoo.com>
Thu, 8 Oct 2015 08:54:47 +0000 (10:54 +0200)
committerSimon Tatham <anakin@pobox.com>
Wed, 14 Oct 2015 19:29:32 +0000 (20:29 +0100)
This is already done in midend_restart_game via midend_finish_move.
If it's good enough for restarting a game, it ought to also be good
enough for starting new games.


No differences found