Home / Development / Documentation / 2.0.44 / OperatorsEdit
TreeGraph 2
 


info.bioinfweb.treegraph.document.undo.format
Class OperatorsEdit

java.lang.Object
  extended by info.bioinfweb.treegraph.document.undo.DocumentEdit
      extended by 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

Field Summary
private  PaintableElement[] applyElements
           
private  Vector<ElementFormats> changedFormats
          Used to store the previous format objects before they are edited to restore them in undo().
private  FormatOperator[] operators
           
 
Fields inherited from class info.bioinfweb.treegraph.document.undo.DocumentEdit
document
 
Constructor Summary
OperatorsEdit(Document document, PaintableElement[] applyElements, FormatOperator[] operators)
           
 
Method Summary
 String getPresentationName()
           
 void redo()
           
 void undo()
           
 
Methods inherited from class info.bioinfweb.treegraph.document.undo.DocumentEdit
addEdit, canRedo, canUndo, die, getIsSubedit, getRedoPresentationName, getUndoPresentationName, isSignificant, replaceEdit, setIsSubedit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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

Constructor Detail

OperatorsEdit

public OperatorsEdit(Document document,
                     PaintableElement[] applyElements,
                     FormatOperator[] operators)
Method Detail

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