Merge featurecat#920

kaorahi · Dec 31, 2023 · 117edd1 · 117edd1
2 parents 630444d + 5d9ef8e
commit 117edd1
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/main/java/featurecat/lizzie/rules/Board.java b/src/main/java/featurecat/lizzie/rules/Board.java
@@ -235,6 +235,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
+      }
     }
   }