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