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)
commitbf81e9c1fac2dc891d15d107a56db0c9b7482c20
tree6ed1635512ce91f4d691d02905f9e3938f7fc7f2
parentaf010d7283c4b9abbd610c93d9bc49d69e1eccfe
Reset midend animation counters on starting a new game.

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.
midend.c