Fix no game over pop-up sometimes

calcitem · Sep 15, 2024 · edb2bb5 · edb2bb5
1 parent 2d10601
commit edb2bb5
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/ui/flutter_app/lib/game_page/widgets/game_board.dart b/src/ui/flutter_app/lib/game_page/widgets/game_board.dart
@@ -236,6 +236,11 @@ class _GameBoardState extends State<GameBoard>
                           .headerTipNotifier
                           .showTip(strNoBestMoveErr);
                       break;
+                    case EngineGameIsOver():
+                      GameController()
+                          .gameResultNotifier
+                          .showResult(force: true);
+                      break;
                     default:
                       break;
                   }