public static interface UndoManager.UndoPosition
| Modifier and Type | Method | Description |
|---|---|---|
boolean |
isValid() |
Checks whether this history position is still valid.
|
void |
mark() |
Sets the mark of the underlying UndoManager at this position.
|
void mark()
boolean isValid()