Switch to Gradle. Use git log --follow for history.

This converts the project into a multi-module Gradle build. By default, Git does not show history past a rename, so use git log --follow to see further history.
2025-07-12 08:08:34 +00:00 · 2014-11-14 11:27:39 -08:00
parent 44559cde68
commit 7192780251
714 changed files with 333 additions and 834 deletions
--- a/worldedit-core/src/main/java/com/sk89q/worldedit/command/HistoryCommands.java
+++ b/worldedit-core/src/main/java/com/sk89q/worldedit/command/HistoryCommands.java
@ -0,0 +1,127 @@
+/*
+ * WorldEdit, a Minecraft world manipulation toolkit
+ * Copyright (C) sk89q <http://www.sk89q.com>
+ * Copyright (C) WorldEdit team and contributors
+ *
+ * This program is free software: you can redistribute it and/or modify it
+ * under the terms of the GNU Lesser 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 Lesser General Public License
+ * for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public License
+ * along with this program. If not, see <http://www.gnu.org/licenses/>.
+ */
+
+package com.sk89q.worldedit.command;
+
+import com.sk89q.minecraft.util.commands.Command;
+import com.sk89q.minecraft.util.commands.CommandContext;
+import com.sk89q.minecraft.util.commands.CommandPermissions;
+import com.sk89q.worldedit.*;
+import com.sk89q.worldedit.entity.Player;
+
+import static com.google.common.base.Preconditions.checkNotNull;
+
+/**
+ * Commands to undo, redo, and clear history.
+ */
+public class HistoryCommands {
+
+    private final WorldEdit worldEdit;
+
+    /**
+     * Create a new instance.
+     *
+     * @param worldEdit reference to WorldEdit
+     */
+    public HistoryCommands(WorldEdit worldEdit) {
+        checkNotNull(worldEdit);
+        this.worldEdit = worldEdit;
+    }
+
+    @Command(
+        aliases = { "/undo", "undo" },
+        usage = "[times] [player]",
+        desc = "Undoes the last action",
+        min = 0,
+        max = 2
+    )
+    @CommandPermissions("worldedit.history.undo")
+    public void undo(Player player, LocalSession session, EditSession editSession, CommandContext args) throws WorldEditException {
+        int times = Math.max(1, args.getInteger(0, 1));
+        for (int i = 0; i < times; ++i) {
+            EditSession undone;
+            if (args.argsLength() < 2) {
+                undone = session.undo(session.getBlockBag(player), player);
+            } else {
+                player.checkPermission("worldedit.history.undo.other");
+                LocalSession sess = worldEdit.getSession(args.getString(1));
+                if (sess == null) {
+                    player.printError("Unable to find session for " + args.getString(1));
+                    break;
+                }
+                undone = sess.undo(session.getBlockBag(player), player);
+            }
+            if (undone != null) {
+                player.print("Undo successful.");
+                worldEdit.flushBlockBag(player, undone);
+            } else {
+                player.printError("Nothing left to undo.");
+                break;
+            }
+        }
+    }
+
+    @Command(
+        aliases = { "/redo", "redo" },
+        usage = "[times] [player]",
+        desc = "Redoes the last action (from history)",
+        min = 0,
+        max = 2
+    )
+    @CommandPermissions("worldedit.history.redo")
+    public void redo(Player player, LocalSession session, EditSession editSession, CommandContext args) throws WorldEditException {
+        
+        int times = Math.max(1, args.getInteger(0, 1));
+
+        for (int i = 0; i < times; ++i) {
+            EditSession redone;
+            if (args.argsLength() < 2) {
+                redone = session.redo(session.getBlockBag(player), player);
+            } else {
+                player.checkPermission("worldedit.history.redo.other");
+                LocalSession sess = worldEdit.getSession(args.getString(1));
+                if (sess == null) {
+                    player.printError("Unable to find session for " + args.getString(1));
+                    break;
+                }
+                redone = sess.redo(session.getBlockBag(player), player);
+            }
+            if (redone != null) {
+                player.print("Redo successful.");
+                worldEdit.flushBlockBag(player, redone);
+            } else {
+                player.printError("Nothing left to redo.");
+            }
+        }
+    }
+
+    @Command(
+        aliases = { "/clearhistory", "clearhistory" },
+        usage = "",
+        desc = "Clear your history",
+        min = 0,
+        max = 0
+    )
+    @CommandPermissions("worldedit.history.clear")
+    public void clearHistory(Player player, LocalSession session, EditSession editSession) throws WorldEditException {
+        session.clearHistory();
+        player.print("History cleared.");
+    }
+
+}