public class NoOperation extends UndoOperation
isMarker, operationNumber| Constructor and Description |
|---|
NoOperation() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getLabel() |
void |
redo() |
void |
undo() |
canRedo, canUndo, combineWith, getDescription, getOperationNumber, getRedoLabel, getUndoLabel, isMarkerpublic void undo()
throws UndoException
undo in class UndoOperationUndoExceptionpublic void redo()
throws UndoException
redo in class UndoOperationUndoExceptionpublic java.lang.String getLabel()
getLabel in class UndoOperationCopyright 2004-2015 Wandora Team