From 2a8376a060fe05a66075457476624a5453cadc39 Mon Sep 17 00:00:00 2001 From: Tor Andersson Date: Wed, 30 Apr 2025 00:38:23 +0200 Subject: Clear undo at game over. --- rules.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/rules.js b/rules.js index e8d0897..0b9fe5b 100644 --- a/rules.js +++ b/rules.js @@ -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 } -- cgit v1.2.3