chiark / gitweb /
Stop animations on a new game, no matter how it is started.
authorJonas Kölker <jonaskoelker@yahoo.com>
Wed, 7 Oct 2015 22:17:19 +0000 (00:17 +0200)
committerSimon Tatham <anakin@pobox.com>
Wed, 14 Oct 2015 19:29:32 +0000 (20:29 +0100)
commit156b0c3e23acc3aee3f8a4f7d94132ba227de751
tree1833630a63151e86966d88fb3a17ea479533545f
parent11b14a5f44967a6257ac1beabb6425f95f3b2c69
Stop animations on a new game, no matter how it is started.

Animations were stopped if a new game was initiated with a keyboard
shortcut (n, N, Ctrl-N), but not via menu items such as presets or
custom configurations, nor (perhaps not a problem) on starting the
program. Fix this, so that animations are stopped on a new game no
matter how the new game is started.
midend.c