diff --git a/src/main/java/featurecat/lizzie/rules/Board.java b/src/main/java/featurecat/lizzie/rules/Board.java index d1efc7f5..7931d0ea 100644 --- 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 + } } }