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,
EditSession editSession) |
void |
redo(Player player,
LocalSession session,
EditSession editSession,
CommandContext args) |
void |
undo(Player player,
LocalSession session,
EditSession editSession,
CommandContext args) |
public HistoryCommands(WorldEdit worldEdit)
worldEdit
- reference to WorldEditpublic void undo(Player player, LocalSession session, EditSession editSession, CommandContext args) throws WorldEditException
WorldEditException
public void redo(Player player, LocalSession session, EditSession editSession, CommandContext args) throws WorldEditException
WorldEditException
public void clearHistory(Player player, LocalSession session, EditSession editSession) throws WorldEditException
WorldEditException