From 5d9ef8e320271f46b52ff99febba4ecfd19b8b9b Mon Sep 17 00:00:00 2001
From: Hiraoka <kakkokakko@gmail.com>
Date: Sun, 31 Dec 2023 21:27:38 +0900
Subject: [PATCH] Fix incomplete updating of the board after its size change
 (Settings > View)

---
 src/main/java/featurecat/lizzie/rules/Board.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/main/java/featurecat/lizzie/rules/Board.java b/src/main/java/featurecat/lizzie/rules/Board.java
index 8d528fa36..16f91385b 100644
--- a/src/main/java/featurecat/lizzie/rules/Board.java
+++ b/src/main/java/featurecat/lizzie/rules/Board.java
@@ -221,6 +221,14 @@ public void reopen(int width, int height) {
       clear();
       Lizzie.leelaz.boardSize(boardWidth, boardHeight);
       Lizzie.frame.setForceRefresh(true);
+      Lizzie.frame.refresh();
+      Lizzie.frame.removeEstimateRect();
+      if (Lizzie.leelaz.isPondering()) {
+        // The above boardSize() stops pondering.
+        // To restart it, call togglePonder() twice.
+        Lizzie.leelaz.togglePonder(); // turn off
+        Lizzie.leelaz.togglePonder(); // turn on ==> restart pondering
+      }
     }
   }