| Methods Summary |
|---|
| public boolean | addEdit(javax.swing.undo.UndoableEdit anEdit)
if (allowAdds) {
addedEdits.addElement(anEdit);
return true;
}
else
return false;
|
| public void | dumpState()
if (allowAdds && addedEdits.size() > 0) {
Enumeration e = addedEdits.elements();
System.out.print(" (absorbed: ");
while (e.hasMoreElements()) {
System.out.print(e.nextElement());
}
System.out.print(")");
}
if (isReplacer && replaced != null) {
System.out.print(" (replaced: " + replaced + ")");
}
System.out.println();
|
| public boolean | isSignificant()
return isSignificant;
|
| public void | redo()
super.redo();
System.out.print("Redo " + number);
dumpState();
|
| public boolean | replaceEdit(javax.swing.undo.UndoableEdit anEdit)
if (isReplacer) {
replaced = anEdit;
return true;
}
else
return false;
|
| public java.lang.String | toString()
return "<" + number + ">";
|
| public void | undo()
super.undo();
System.out.print("Undo " + number);
dumpState();
|
