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()