public class UndoMarker extends UndoOperation
| Modifier and Type | Field and Description |
|---|---|
protected java.lang.String |
redoLabel |
protected java.lang.String |
undoLabel |
isMarker, operationNumber| Constructor and Description |
|---|
UndoMarker(java.lang.String label) |
UndoMarker(java.lang.String undoLabel,
java.lang.String redoLabel) |
| Modifier and Type | Method and Description |
|---|---|
UndoOperation |
combineWith(UndoOperation previous) |
java.lang.String |
getLabel() |
java.lang.String |
getRedoLabel() |
java.lang.String |
getUndoLabel() |
void |
redo() |
void |
undo() |
canRedo, canUndo, getDescription, getOperationNumber, isMarkerprotected java.lang.String undoLabel
protected java.lang.String redoLabel
public UndoMarker(java.lang.String label)
public UndoMarker(java.lang.String undoLabel,
java.lang.String redoLabel)
public void undo()
throws UndoException
undo in class UndoOperationUndoExceptionpublic void redo()
throws UndoException
redo in class UndoOperationUndoExceptionpublic java.lang.String getLabel()
getLabel in class UndoOperationpublic java.lang.String getRedoLabel()
getRedoLabel in class UndoOperationpublic java.lang.String getUndoLabel()
getUndoLabel in class UndoOperationpublic UndoOperation combineWith(UndoOperation previous)
combineWith in class UndoOperationCopyright 2004-2015 Wandora Team