public class UndoableEdit
extends java.lang.Object
implements javax.swing.undo.UndoableEdit
Note that undo and redo operations rollback any updates in progress on the RuleDictionary that generated the UndoableEdit.
Modifier and Type | Method and Description |
---|---|
boolean |
addEdit(javax.swing.undo.UndoableEdit anEdit) |
boolean |
canRedo()
True if it is still possible to redo this operation.
|
boolean |
canUndo()
True if it is still possible to undo this operation.
|
void |
die()
May be sent to inform an edit that it should no longer be
used.
|
java.lang.String |
getPresentationName() |
java.lang.String |
getRedoPresentationName() |
java.lang.String |
getUndoPresentationName() |
boolean |
isSignificant() |
void |
redo()
Re-apply the edit, assuming that it has been undone.
|
boolean |
replaceEdit(javax.swing.undo.UndoableEdit anEdit) |
void |
setPresentationName(java.lang.String pn) |
void |
setRedoPresentationName(java.lang.String pn) |
void |
setUndoPresentationName(java.lang.String pn) |
void |
undo()
Undo the edit that was made.
|
public void undo() throws javax.swing.undo.CannotUndoException
undo
in interface javax.swing.undo.UndoableEdit
javax.swing.undo.CannotUndoException
public boolean canUndo()
canUndo
in interface javax.swing.undo.UndoableEdit
public void redo() throws javax.swing.undo.CannotRedoException
redo
in interface javax.swing.undo.UndoableEdit
javax.swing.undo.CannotRedoException
public boolean canRedo()
canRedo
in interface javax.swing.undo.UndoableEdit
public void die()
UndoManagercalls this before it dequeues edits. Note that this is a one-way operation. There is no "un-die" method.
die
in interface javax.swing.undo.UndoableEdit
public boolean addEdit(javax.swing.undo.UndoableEdit anEdit)
addEdit
in interface javax.swing.undo.UndoableEdit
public boolean replaceEdit(javax.swing.undo.UndoableEdit anEdit)
replaceEdit
in interface javax.swing.undo.UndoableEdit
public boolean isSignificant()
isSignificant
in interface javax.swing.undo.UndoableEdit
public java.lang.String getPresentationName()
getPresentationName
in interface javax.swing.undo.UndoableEdit
public void setPresentationName(java.lang.String pn)
public java.lang.String getUndoPresentationName()
getUndoPresentationName
in interface javax.swing.undo.UndoableEdit
public void setUndoPresentationName(java.lang.String pn)
public java.lang.String getRedoPresentationName()
getRedoPresentationName
in interface javax.swing.undo.UndoableEdit
public void setRedoPresentationName(java.lang.String pn)