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:
- 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 String newID
labels
private Label[] labels
oldIDs
private String[] oldIDs
ChangeLabelIDEdit
public ChangeLabelIDEdit(Document document,
String newID,
Label[] labels)
redo
public void redo()
throws CannotRedoException
- Specified by:
redo in interface UndoableEdit- Overrides:
redo in class DocumentEdit
- Throws:
CannotRedoException
undo
public void undo()
throws CannotUndoException
- Specified by:
undo in interface UndoableEdit- Overrides:
undo in class DocumentEdit
- Throws:
CannotUndoException
getPresentationName
public String getPresentationName()