info.bioinfweb.treegraph.document.undo.edit
Class ChangeLabelIDEdit
java.lang.Object
info.bioinfweb.treegraph.document.undo.DocumentEdit
info.bioinfweb.treegraph.document.undo.edit.ChangeLabelIDEdit
- All Implemented Interfaces:
- javax.swing.undo.UndoableEdit
public class ChangeLabelIDEdit
- extends DocumentEdit
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
newID
private java.lang.String newID
labels
private Label[] labels
oldIDs
private java.lang.String[] oldIDs
ChangeLabelIDEdit
public ChangeLabelIDEdit(Document document,
java.lang.String newID,
Label[] labels)
redo
public void redo()
throws javax.swing.undo.CannotRedoException
- Specified by:
redo in interface javax.swing.undo.UndoableEdit- Overrides:
redo in class DocumentEdit
- Throws:
javax.swing.undo.CannotRedoException
undo
public void undo()
throws javax.swing.undo.CannotUndoException
- Specified by:
undo in interface javax.swing.undo.UndoableEdit- Overrides:
undo in class DocumentEdit
- Throws:
javax.swing.undo.CannotUndoException
getPresentationName
public java.lang.String getPresentationName()