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 + } } }