chiark / gitweb /
Reset midend animation counters on starting a new game.