mirror/WorldEdit
2
0
Fork 0
mirror of https://github.com/EngineHub/WorldEdit.git synced 2025-03-07 13:48:00 +08:00
Code Issues Packages Projects Releases Wiki Activity

Stop trying to redo when history runs out.

Browse Source
This commit is contained in:
wizjany 2019-04-20 12:13:46 -04:00
parent 477e78bd17
commit a9926328f1
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
worldedit-core/src/main/java/com/sk89q/worldedit/command/HistoryCommands.java
View File

@ -110,6 +110,7 @@ public void redo(Player player, LocalSession session, CommandContext args) throw
worldEdit.flushBlockBag(player, redone);
} else {
player.printError("Nothing left to redo.");
break;
}
}
}