diff options
-rw-r--r-- | rules.js | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -3123,6 +3123,7 @@ function goto_pause_game_over() { if (game.undo && game.undo.length > 0 && !is_winner) { game.state = 'pause_game_over' } else { + clear_undo() game.state = 'game_over' game.active = 5 } @@ -3135,6 +3136,7 @@ states.pause_game_over = { gen_action('end_game') }, end_game() { + clear_undo() game.state = 'game_over' game.active = 5 } |