public class RMUndoSet
extends java.lang.Object
Constructor and Description |
---|
RMUndoSet()
Creates a new empty undo set.
|
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChange(java.beans.PropertyChangeEvent anEvent)
Adds a property change.
|
java.beans.PropertyChangeEvent |
getChange(int anIndex)
Returns the individual change at given index.
|
int |
getChangeCount()
Returns the number of changes.
|
java.beans.PropertyChangeEvent |
getChangeLast()
Returns the last change.
|
java.util.List<java.beans.PropertyChangeEvent> |
getChanges()
Returns the selection to be set if undo is executed.
|
java.lang.String |
getFullRedoTitle()
Returns the full title of this undo when used for redo.
|
java.lang.String |
getFullUndoTitle()
Returns the full title of this undo when used for undo.
|
java.lang.Object |
getRedoSelection()
Returns the selection to be set if redo is executed.
|
java.lang.Object |
getUndoSelection()
Returns the selection to be set if undo is executed.
|
java.lang.String |
getUndoTitle()
Returns the undo title.
|
void |
redo()
Executes redo for this event.
|
void |
reset()
Resets this undo event for reuse.
|
void |
setRedoSelection(java.lang.Object aSelection)
Sets the selection to be set if redo is executed.
|
void |
setUndoSelection(java.lang.Object aSelection)
Sets the selection to be set if undo is executed.
|
java.lang.String |
toString()
Standard toString implementation.
|
java.lang.String |
toString(java.beans.PropertyChangeEvent anEvent,
boolean doUndo)
Returns a string for a property change event.
|
void |
undo()
Executes undo for this event.
|
public java.lang.String getUndoTitle()
public java.lang.String getFullUndoTitle()
public java.lang.String getFullRedoTitle()
public int getChangeCount()
public java.beans.PropertyChangeEvent getChange(int anIndex)
public java.util.List<java.beans.PropertyChangeEvent> getChanges()
public java.beans.PropertyChangeEvent getChangeLast()
public java.lang.Object getUndoSelection()
public void setUndoSelection(java.lang.Object aSelection)
public java.lang.Object getRedoSelection()
public void setRedoSelection(java.lang.Object aSelection)
public void addPropertyChange(java.beans.PropertyChangeEvent anEvent)
public void undo()
public void redo()
public void reset()
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toString(java.beans.PropertyChangeEvent anEvent, boolean doUndo)