public class HistoryCommands
extends java.lang.Object
Constructor and Description |
---|
HistoryCommands(WorldEdit worldEdit)
Create a new instance.
|
Modifier and Type | Method and Description |
---|---|
void |
clearHistory(Player player,
LocalSession session) |
void |
redo(Player player,
LocalSession session,
CommandContext args) |
void |
undo(Player player,
LocalSession session,
CommandContext args) |
public HistoryCommands(WorldEdit worldEdit)
worldEdit
- reference to WorldEditpublic void undo(Player player, LocalSession session, CommandContext args) throws WorldEditException
WorldEditException
public void redo(Player player, LocalSession session, CommandContext args) throws WorldEditException
WorldEditException
public void clearHistory(Player player, LocalSession session) throws WorldEditException
WorldEditException