public static interface UndoManager.UndoPosition
Modifier and Type | Method and 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()