From f99b16e80291e0ff2726a8bcb65d2ac687a65023 Mon Sep 17 00:00:00 2001 From: Hiraoka Date: Thu, 8 Jul 2021 20:59:30 +0900 Subject: [PATCH] Fix: Engine number in menu was not updated for preloaded engines --- src/main/java/featurecat/lizzie/analysis/EngineManager.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/main/java/featurecat/lizzie/analysis/EngineManager.java b/src/main/java/featurecat/lizzie/analysis/EngineManager.java index 3d93fb959..c762a1c51 100644 --- a/src/main/java/featurecat/lizzie/analysis/EngineManager.java +++ b/src/main/java/featurecat/lizzie/analysis/EngineManager.java @@ -123,6 +123,9 @@ public void switchEngine(int index) { } Lizzie.board.restoreMoveNumber(); this.currentEngineNo = index; + if (curEng.preload && newEng.preload) { + updateEngineIcon(); + } if (!curEng.preload) { curEng.normalQuit(); }