fix: not reloading VersionPage when renaming the game version. Closes #1176.

2021-11-20 18:24:00 +08:00
parent 36ba840fe8
commit d2848e12f3
1 changed files with 5 additions and 1 deletions
--- a/HMCL/src/main/java/org/jackhuang/hmcl/ui/versions/VersionPage.java
+++ b/HMCL/src/main/java/org/jackhuang/hmcl/ui/versions/VersionPage.java
@@ -88,7 +88,11 @@ public class VersionPage extends DecoratorAnimatedPage implements DecoratorPage
            if (this.version.get() == null) return;
            GameRepository repository = this.version.get().getProfile().getRepository();
            if (!repository.hasVersion(this.version.get().getVersion())) {
-                fireEvent(new PageCloseEvent());
+                if (preferredVersionName != null) {
+                    loadVersion(preferredVersionName, this.version.get().getProfile());
+                } else {
+                    fireEvent(new PageCloseEvent());
+                }
            }
        });
    }