Merge featurecat#822

kaorahi · Dec 5, 2020 · 472c3f5 · 472c3f5
2 parents d97ca80 + 7787225
commit 472c3f5
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 6 deletions.
diff --git a/src/main/java/featurecat/lizzie/gui/LizzieFrame.java b/src/main/java/featurecat/lizzie/gui/LizzieFrame.java
@@ -247,11 +247,18 @@ public void run() {
             if (Lizzie.leelaz == null) return;
             try {
               int totalPlayouts = MoveData.getPlayouts(Lizzie.leelaz.getBestMoves());
-              if (totalPlayouts <= 0) return;
+              int recorderTotalPlayouts = Lizzie.board.getData().getPlayouts();
+              int displayedTotalPlayouts = Math.max(totalPlayouts, recorderTotalPlayouts);
+              if (displayedTotalPlayouts <= 0) return;
+              boolean showingRecorded =
+                  (totalPlayouts < displayedTotalPlayouts) && (totalPlayouts > 0);
+              String backgroundTotalPlayoutsString =
+                  showingRecorded ? String.format("%d/", totalPlayouts) : "";
               visitsString =
                   String.format(
-                      " %d playouts, %d visits/second",
-                      totalPlayouts,
+                      " %s%d playouts, %d visits/second",
+                      backgroundTotalPlayoutsString,
+                      displayedTotalPlayouts,
                       (totalPlayouts > lastPlayouts) ? totalPlayouts - lastPlayouts : 0);
               updateTitle();
               lastPlayouts = totalPlayouts;

diff --git a/src/main/java/featurecat/lizzie/gui/LizzieMain.java b/src/main/java/featurecat/lizzie/gui/LizzieMain.java
@@ -292,11 +292,18 @@ public void run() {
             if (Lizzie.leelaz == null) return;
             try {
               int totalPlayouts = MoveData.getPlayouts(Lizzie.leelaz.getBestMoves());
-              if (totalPlayouts <= 0) return;
+              int recorderTotalPlayouts = Lizzie.board.getData().getPlayouts();
+              int displayedTotalPlayouts = Math.max(totalPlayouts, recorderTotalPlayouts);
+              if (displayedTotalPlayouts <= 0) return;
+              boolean showingRecorded =
+                  (totalPlayouts < displayedTotalPlayouts) && (totalPlayouts > 0);
+              String backgroundTotalPlayoutsString =
+                  showingRecorded ? String.format("%d/", totalPlayouts) : "";
               visitsString =
                   String.format(
-                      " %d playouts, %d visits/second",
-                      totalPlayouts,
+                      " %s%d playouts, %d visits/second",
+                      backgroundTotalPlayoutsString,
+                      displayedTotalPlayouts,
                       (totalPlayouts > lastPlayouts) ? totalPlayouts - lastPlayouts : 0);
               updateTitle();
               lastPlayouts = totalPlayouts;