info.bioinfweb.treegraph.document.undo.format
Class OperatorsEdit
java.lang.Object
info.bioinfweb.treegraph.document.undo.DocumentEdit
info.bioinfweb.treegraph.document.undo.format.OperatorsEdit
- All Implemented Interfaces:
- UndoableEdit
public class OperatorsEdit
- extends DocumentEdit
This edit changes applies the specified formats to the specified document elements.
- Author:
- Ben Stöver
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
applyElements
private PaintableElement[] applyElements
operators
private FormatOperator[] operators
changedFormats
private Vector<ElementFormats> changedFormats
- Used to store the previous format objects before they are edited to restore them in
undo()
.
OperatorsEdit
public OperatorsEdit(Document document,
PaintableElement[] applyElements,
FormatOperator[] operators)
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()