public class EditHistoryManager
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
void |
addAction(EditAction ea)
Add action to the current undo group, if any, or to the list of actions, if none
undo group is currently active.
|
void |
endUndoGroup()
Indicate that this is the end of the current undo group.
|
static EditHistoryManager |
get(GUIPanel gp)
Singleton pattern getter.
|
void |
startUndoGroup()
Indicate that the next actions recorded by calls to the addAction
method, up to the first call to the endUndoGroup function, should
be treated as a single action (undone at once, when requested).
|
void |
undoLastAction()
Undoes last action and jumps to the position, related to this undone
action.
|
public static EditHistoryManager get(GUIPanel gp)
gp
- public void startUndoGroup()
endUndoGroup
,
addAction
public void endUndoGroup()
startUndoGroup
public void addAction(EditAction ea)
ea
- startUndoGroup
,
endUndoGroup
public void undoLastAction()