uk.ac.essex.ia.graph.jgraph
Class IAGraphUndoManager

java.lang.Object
  javax.swing.undo.AbstractUndoableEdit
      javax.swing.undo.CompoundEdit
          javax.swing.undo.UndoManager
              com.jgraph.graph.GraphUndoManager
                  uk.ac.essex.ia.graph.jgraph.IAGraphUndoManager

All Implemented Interfaces:

java.io.Serializable, java.util.EventListener, javax.swing.event.UndoableEditListener, javax.swing.undo.UndoableEdit

public class IAGraphUndoManager
extends com.jgraph.graph.GraphUndoManager

Date: 11-Jul-02

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.undo.CompoundEdit

edits

Fields inherited from class javax.swing.undo.AbstractUndoableEdit

RedoName, UndoName

Constructor Summary

IAGraphUndoManager(com.jgraph.JGraph graph)

Method Summary

void	undoableEditHappened(javax.swing.event.UndoableEditEvent e)
protected void	updateHistoryButtons()

Methods inherited from class com.jgraph.graph.GraphUndoManager

canRedo, canUndo, editToBeRedone, editToBeUndone, nextEditToBeRedone, nextEditToBeUndone, redo, undo

Methods inherited from class javax.swing.undo.UndoManager

addEdit, canRedo, canUndo, canUndoOrRedo, discardAllEdits, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redo, redoTo, setLimit, toString, trimEdits, trimForLimit, undo, undoOrRedo, undoTo

Methods inherited from class javax.swing.undo.CompoundEdit

die, getPresentationName, isInProgress, isSignificant, lastEdit

Methods inherited from class javax.swing.undo.AbstractUndoableEdit

replaceEdit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

IAGraphUndoManager

public IAGraphUndoManager(com.jgraph.JGraph graph)

Method Detail

undoableEditHappened

public void undoableEditHappened(javax.swing.event.UndoableEditEvent e)

Specified by:

undoableEditHappened in interface javax.swing.event.UndoableEditListener

Overrides:

undoableEditHappened in class javax.swing.undo.UndoManager

updateHistoryButtons

protected void updateHistoryButtons()