public class UndoManager
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private int |
counter |
private static short |
UNDO_SIZE |
private java.util.Stack<UndoAction> |
undoStack |
| Constructor and Description |
|---|
UndoManager() |
| Modifier and Type | Method and Description |
|---|---|
void |
addUndo(UndoAction u) |
void |
clear() |
UndoAction |
getNext() |
boolean |
isEmpty() |
int |
size() |
private static short UNDO_SIZE
private java.util.Stack<UndoAction> undoStack
private int counter
public UndoAction getNext()
public void addUndo(UndoAction u)
public void clear()
public boolean isEmpty()
public int size()