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(Actor actor,
LocalSession session) |
void |
redo(Actor actor,
LocalSession session,
int times,
java.lang.String playerName) |
void |
undo(Actor actor,
LocalSession session,
int times,
java.lang.String playerName) |
public HistoryCommands(WorldEdit worldEdit)
worldEdit
- reference to WorldEditpublic void undo(Actor actor, LocalSession session, @Arg(desc="Number of undoes to perform",def="1") int times, @Arg(name="player",desc="Undo this player\'s operations",def="") java.lang.String playerName) throws WorldEditException
WorldEditException
public void redo(Actor actor, LocalSession session, @Arg(desc="Number of redoes to perform",def="1") int times, @Arg(name="player",desc="Redo this player\'s operations",def="") java.lang.String playerName) throws WorldEditException
WorldEditException
public void clearHistory(Actor actor, LocalSession session)