feat: 优化世界管理

HMCL/src/main/java/org/jackhuang/hmcl/ui/Controllers.java

@@ -64,6 +64,7 @@
 import org.jackhuang.hmcl.ui.versions.GameListPage;
 import org.jackhuang.hmcl.ui.versions.VersionPage;
 import org.jackhuang.hmcl.ui.versions.Versions;
+import org.jackhuang.hmcl.ui.versions.WorldManagePage;
 import org.jackhuang.hmcl.util.*;
 import org.jackhuang.hmcl.util.i18n.I18n;
 import org.jackhuang.hmcl.util.i18n.SupportedLocale;
@@ -123,6 +124,7 @@ public final class Controllers {
     });
     private static LauncherSettingsPage settingsPage;
     private static Lazy<TerracottaPage> terracottaPage = new Lazy<>(TerracottaPage::new);
+    private static Lazy<WorldManagePage> worldManagePage = new Lazy<>(WorldManagePage::new);
 
     private Controllers() {
     }
@@ -203,6 +205,11 @@ public static Node getTerracottaPage() {
         return terracottaPage.get();
     }
 
+    // FXThread
+    public static WorldManagePage getWorldManagePage() {
+        return worldManagePage.get();
+    }
+
     // FXThread
     public static DecoratorController getDecorator() {
         return decorator;
@@ -630,6 +637,7 @@ public static void shutdown() {
         accountListPage = null;
         settingsPage = null;
         terracottaPage = null;
+        worldManagePage = null;
         decorator = null;
         stage = null;
         scene = null;

HMCL/src/main/java/org/jackhuang/hmcl/ui/versions/ArchiveWorld.java

@@ -0,0 +1,158 @@
+/*
+ * Hello Minecraft! Launcher
+ * Copyright (C) 2026  huangyuhui <huanghongxun2008@126.com> and contributors
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <https://www.gnu.org/licenses/>.
+ */
+package org.jackhuang.hmcl.ui.versions;
+
+import javafx.scene.image.Image;
+import org.glavo.nbt.io.NBTCodec;
+import org.glavo.nbt.tag.CompoundTag;
+import org.glavo.nbt.tag.LongTag;
+import org.glavo.nbt.tag.StringTag;
+import org.glavo.nbt.tag.TagType;
+import org.jackhuang.hmcl.game.World;
+import org.jackhuang.hmcl.util.io.CompressingUtils;
+import org.jackhuang.hmcl.util.io.FileUtils;
+import org.jackhuang.hmcl.util.io.Unzipper;
+import org.jackhuang.hmcl.util.versioning.GameVersionNumber;
+import org.jetbrains.annotations.Nullable;
+
+import java.io.IOException;
+import java.io.InputStream;
+import java.nio.file.*;
+import java.util.List;
+
+import static org.jackhuang.hmcl.util.logging.Logger.LOG;
+
+/// @author mineDiamond
+public final class ArchiveWorld {
+    private final Path file;
+    private final String fileName;
+    private final boolean hasSubDir;
+    private String worldName;
+    private @Nullable GameVersionNumber gameVersion;
+    private @Nullable Image icon;
+
+    public ArchiveWorld(Path file) throws IOException {
+        if (Files.isRegularFile(file)) {
+            this.file = file;
+
+            try (FileSystem fs = CompressingUtils.readonly(this.file).setAutoDetectEncoding(true).build()) {
+                Path root;
+                if (Files.isRegularFile(fs.getPath("/level.dat"))) {
+                    root = fs.getPath("/");
+                    hasSubDir = false;
+                    fileName = FileUtils.getName(this.file);
+                } else {
+                    List<Path> files = Files.list(fs.getPath("/")).toList();
+                    if (files.size() != 1 || !Files.isDirectory(files.get(0))) {
+                        throw new IOException("Not a valid world zip file");
+                    }
+
+                    root = files.get(0);
+                    hasSubDir = true;
+                    fileName = FileUtils.getName(root);
+                }
+
+                Path levelDat = root.resolve("level.dat");
+                if (!Files.exists(levelDat)) { //version 20w14infinite
+                    levelDat = root.resolve("special_level.dat");
+                }
+                if (!Files.exists(levelDat)) {
+                    throw new IOException("Not a valid world zip file since level.dat or special_level.dat cannot be found.");
+                }
+                checkAndLoadLevelData(levelDat);
+
+                Path iconFile = root.resolve("icon.png");
+                if (Files.isRegularFile(iconFile)) {
+                    try (InputStream inputStream = Files.newInputStream(iconFile)) {
+                        icon = new Image(inputStream, 64, 64, true, false);
+                        if (icon.isError())
+                            throw icon.getException();
+                    } catch (Exception e) {
+                        LOG.warning("Failed to load world icon", e);
+                    }
+                }
+            }
+        } else {
+            throw new IOException("Path " + file + " cannot be recognized as a archive Minecraft world");
+        }
+    }
+
+    private void checkAndLoadLevelData(Path levelDatPath) throws IOException {
+        CompoundTag levelData = NBTCodec.of().readTag(levelDatPath, TagType.COMPOUND);
+        if (!(levelData.get("Data") instanceof CompoundTag data))
+            throw new IOException("level.dat missing Data");
+
+        if (data.get("LevelName") instanceof StringTag levelNameTag) {
+            this.worldName = levelNameTag.getValue();
+        } else {
+            throw new IOException("level.dat missing LevelName");
+        }
+
+        if (data.get("Version") instanceof CompoundTag versionTag &&
+                versionTag.get("Name") instanceof StringTag nameTag) {
+            this.gameVersion = GameVersionNumber.asGameVersion(nameTag.getValue());
+        }
+
+        if (!(data.get("LastPlayed") instanceof LongTag))
+            throw new IOException("level.dat missing LastPlayed");
+    }
+
+    public Path getFile() {
+        return file;
+    }
+
+    public String getFileName() {
+        return fileName;
+    }
+
+    public boolean hasSubDir() {
+        return hasSubDir;
+    }
+
+    public String getWorldName() {
+        return worldName;
+    }
+
+    public @Nullable GameVersionNumber getGameVersion() {
+        return gameVersion;
+    }
+
+    public @Nullable Image getIcon() {
+        return icon;
+    }
+
+    public void install(Path savesDir, String name) throws IOException {
+        Path worldDir;
+        try {
+            worldDir = savesDir.resolve(name);
+        } catch (InvalidPathException e) {
+            throw new IOException(e);
+        }
+
+        if (Files.isDirectory(worldDir)) {
+            throw new FileAlreadyExistsException("World already exists");
+        }
+
+        if (hasSubDir) {
+            new Unzipper(file, worldDir).setSubDirectory("/" + fileName + "/").unzip();
+        } else {
+            new Unzipper(file, worldDir).unzip();
+        }
+        new World(worldDir).rename(name);
+    }
+}

HMCL/src/main/java/org/jackhuang/hmcl/ui/versions/DatapackListPage.java

@@ -45,15 +45,12 @@
 import static org.jackhuang.hmcl.util.logging.Logger.LOG;
 
 public final class DatapackListPage extends ListPageBase<DatapackListPageSkin.DatapackInfoObject> implements WorldManagePage.WorldRefreshable {
-    private final World world;
-    private final Datapack datapack;
-    final BooleanProperty readOnly;
+    private final WorldManagePage worldManagePage;
+    private World world;
+    private Datapack datapack;
 
     public DatapackListPage(WorldManagePage worldManagePage) {
-        world = worldManagePage.getWorld();
-        datapack = new Datapack(world.getFile().resolve("datapacks"));
-        setItems(MappedObservableList.create(datapack.getPacks(), DatapackListPageSkin.DatapackInfoObject::new));
-        readOnly = worldManagePage.readOnlyProperty();
+        this.worldManagePage = worldManagePage;
         FXUtils.applyDragListener(this, it -> Objects.equals("zip", FileUtils.getExtension(it)),
                 this::installMultiDatapack, this::refresh);
 
@@ -62,7 +59,7 @@ public DatapackListPage(WorldManagePage worldManagePage) {
 
     private void installMultiDatapack(List<Path> datapackPath) {
         datapackPath.forEach(this::installSingleDatapack);
-        if (readOnly.get()) {
+        if (readOnlyProperty().get()) {
             Controllers.showToast(i18n("datapack.reload.toast"));
         }
     }
@@ -80,13 +77,27 @@ protected Skin<?> createDefaultSkin() {
         return new DatapackListPageSkin(this);
     }
 
+    @Override
     public void refresh() {
         setLoading(true);
+        setFailedReason(null);
+        world = worldManagePage.getWorld();
+        if (!world.supportsDatapacks()) {
+            setFailedReason(i18n("datapack.not_support.info"));
+            setLoading(false);
+            return;
+        }
+        datapack = new Datapack(world.getFile().resolve("datapacks"));
+        setItems(MappedObservableList.create(datapack.getPacks(), DatapackListPageSkin.DatapackInfoObject::new));
         Task.runAsync(datapack::loadFromDir)
                 .withRunAsync(Schedulers.javafx(), () -> setLoading(false))
                 .start();
     }
 
+    public BooleanProperty readOnlyProperty() {
+        return worldManagePage.readOnlyProperty();
+    }
+
     public void add() {
         FileChooser chooser = new FileChooser();
         chooser.setTitle(i18n("datapack.add.title"));

HMCL/src/main/java/org/jackhuang/hmcl/ui/versions/DatapackListPageSkin.java

@@ -95,7 +95,7 @@ final class DatapackListPageSkin extends SkinBase<DatapackListPage> {
         ComponentList root = new ComponentList();
         root.getStyleClass().add("no-padding");
         listView = new JFXListView<>();
-        filteredList = new FilteredList<>(skinnable.getItems());
+        filteredList = new FilteredList<>(skinnable.itemsProperty());
 
         {
             toolbarPane = new TransitionPane();
@@ -119,9 +119,9 @@ final class DatapackListPageSkin extends SkinBase<DatapackListPage> {
                     skinnable.enableSelected(listView.getSelectionModel().getSelectedItems()));
             JFXButton disableButton = createToolbarButton2(i18n("mods.disable"), SVG.CLOSE, () ->
                     skinnable.disableSelected(listView.getSelectionModel().getSelectedItems()));
-            removeButton.disableProperty().bind(getSkinnable().readOnly);
-            enableButton.disableProperty().bind(getSkinnable().readOnly);
-            disableButton.disableProperty().bind(getSkinnable().readOnly);
+            removeButton.disableProperty().bind(getSkinnable().readOnlyProperty());
+            enableButton.disableProperty().bind(getSkinnable().readOnlyProperty());
+            disableButton.disableProperty().bind(getSkinnable().readOnlyProperty());
 
             selectingToolbar.getChildren().addAll(
                     removeButton,
@@ -163,6 +163,7 @@ final class DatapackListPageSkin extends SkinBase<DatapackListPage> {
 
             FXUtils.onChangeAndOperate(listView.getSelectionModel().selectedItemProperty(),
                     selectedItem -> isSelecting.set(selectedItem != null));
+            toolbarPane.disableProperty().bind(skinnable.loadingProperty().or(skinnable.failedReasonProperty().isNotNull()));
             root.getContent().add(toolbarPane);
 
             updateBarByStateWeakListener = FXUtils.observeWeak(() -> {
@@ -180,8 +181,9 @@ final class DatapackListPageSkin extends SkinBase<DatapackListPage> {
             SpinnerPane center = new SpinnerPane();
             ComponentList.setVgrow(center, Priority.ALWAYS);
             center.loadingProperty().bind(skinnable.loadingProperty());
+            center.failedReasonProperty().bind(skinnable.failedReasonProperty());
 
-            listView.setCellFactory(x -> new DatapackInfoListCell(listView, getSkinnable().readOnly));
+            listView.setCellFactory(x -> new DatapackInfoListCell(listView, getSkinnable().readOnlyProperty()));
             listView.getSelectionModel().setSelectionMode(SelectionMode.MULTIPLE);
             this.listView.setItems(filteredList);
 

HMCL/src/main/java/org/jackhuang/hmcl/ui/versions/WorldBackupTask.java

@@ -23,7 +23,6 @@
 import java.io.BufferedOutputStream;
 import java.io.IOException;
 import java.io.OutputStream;
-import java.nio.channels.FileChannel;
 import java.nio.file.*;
 import java.nio.file.attribute.BasicFileAttributes;
 import java.time.LocalDateTime;
@@ -37,17 +36,15 @@ public final class WorldBackupTask extends Task<Path> {
 
     private final World world;
     private final Path backupsDir;
-    private final boolean needLock;
 
-    public WorldBackupTask(World world, Path backupsDir, boolean needLock) {
+    public WorldBackupTask(World world, Path backupsDir) {
         this.world = world;
         this.backupsDir = backupsDir;
-        this.needLock = needLock;
     }
 
     @Override
     public void execute() throws Exception {
-        try (FileChannel lockChannel = needLock ? world.lock() : null) {
+        try (World.WorldLock.Guard guard = world.getWorldLock().guard()) {
             Files.createDirectories(backupsDir);
             String time = LocalDateTime.now().format(WorldBackupsPage.TIME_FORMATTER);
             String baseName = time + "_" + world.getFileName();