From 9595378cebaec210b665ce3dcd4ea4b07d1c5aa8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=83=9D=E6=9F=90=E4=BA=BABH?= <1218271192@qq.com> Date: Wed, 3 Sep 2025 19:55:45 +0800 Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E6=94=B9=E9=9A=8F=E6=9C=BA=E7=B1=BB?= =?UTF-8?q?=E5=91=BD=E5=90=8D?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- HMCL/src/main/java/org/jackhuang/hmcl/util/RandomTip.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/HMCL/src/main/java/org/jackhuang/hmcl/util/RandomTip.java b/HMCL/src/main/java/org/jackhuang/hmcl/util/RandomTip.java index af4500bde..3fd12f48d 100644 --- a/HMCL/src/main/java/org/jackhuang/hmcl/util/RandomTip.java +++ b/HMCL/src/main/java/org/jackhuang/hmcl/util/RandomTip.java @@ -30,7 +30,7 @@ public final class RandomTip { private static final List tips; private static final int maxTipNumber = 30; - private static final GuaranteedRandomIndex indexGenerator; + private static final FakeRandomIndex indexGenerator; static { // Initialization tips list @@ -38,7 +38,7 @@ public final class RandomTip { .mapToObj(i -> i18n(String.format("message.tips_%s", i))) .collect(Collectors.toList()); - indexGenerator = new GuaranteedRandomIndex(tips.size()); + indexGenerator = new FakeRandomIndex(tips.size()); } public static String getRandomTip() { @@ -76,12 +76,12 @@ public final class RandomTip { return formattedTip.toString(); } - private static final class GuaranteedRandomIndex { + private static final class FakeRandomIndex { private final List indices; private final Random random; private int cursor; - GuaranteedRandomIndex(int size) { + FakeRandomIndex(int size) { this.indices = new ArrayList<>(size); for (int i = 0; i < size; i++) { indices.add(i);