jaxe.JaxeUndoManager

All Implemented Interfaces:: Serializable, EventListener, UndoableEditListener, UndoableEdit

public class JaxeUndoManager extends UndoManager

UndoManager to recognise a modified document

See Also:

Constructor Details
- JaxeUndoManager
  
  public JaxeUndoManager(JaxeDocument doc)
Method Details
- addEdit
  
  public boolean addEdit(UndoableEdit anEdit)
  
  Specified by:
  
  addEdit in interface UndoableEdit
  
  Overrides:
  
  addEdit in class UndoManager
- undo
  
  public void undo() throws CannotUndoException
  
  Specified by:
  
  undo in interface UndoableEdit
  
  Overrides:
  
  undo in class UndoManager
  
  Throws:
  
  CannotUndoException
- redo
  
  public void redo() throws CannotRedoException
  
  Specified by:
  
  redo in interface UndoableEdit
  
  Overrides:
  
  redo in class UndoManager
  
  Throws:
  
  CannotRedoException

Class JaxeUndoManager

Field Summary