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, isMarker
public void undo() throws UndoException
undo
in class UndoOperation
UndoException
public void redo() throws UndoException
redo
in class UndoOperation
UndoException
public java.lang.String getLabel()
getLabel
in class UndoOperation
Copyright 2004-2015 Wandora Team