Class UndoPack.UndoMan

All Packages    This Package    Previous    Next

Class UndoPack.UndoMan

java.lang.Object
   |
   +----UndoPack.UndoMan

public class UndoMan
extends Object

An instance of the UndoMan class is held by both the GraphDispatcher and the Graph, as well as the property manager, and handles the undo and redo stacks for the graph. The stacks contain subclasses of UndoObject, one for each undoable action.

UndoMan(GraphDispatcher)

addUndo(UndoObject): Adds an UndoObject to the stack of objects to be undone.
beginConvert(): Converting from directed to undirected or vice-versa is a special case; UndoMan must be notified.
beginMiniUndo(): Begins a mini undo block.
beginUndo(): Begins an undo block; when undo() is called, all events since the last beginUndo() are undone.
endConvert(): Notifies the undo manager of the end of a conversion from directed to undirected or vice-versa.
miniRedo(): Like redo(), except will stop at places where beginMiniUndo() was called
miniUndo(): Undoes all events since the last beginUndo() or beginMiniUndo().
redo(): Redoes the last action undone, provided that the very last action performed was an undo.
undo(): Undoes all events since the last call to beginUndo().

UndoMan

  public UndoMan(GraphDispatcher _g)

beginConvert

  public void beginConvert()

Converting from directed to undirected or vice-versa is a special case; UndoMan must be notified.

endConvert

  public void endConvert()

Notifies the undo manager of the end of a conversion from directed to undirected or vice-versa.

beginUndo

  public void beginUndo()

Begins an undo block; when undo() is called, all events since the last beginUndo() are undone. Typically called on a keypress or mouse event.

beginMiniUndo

  public void beginMiniUndo()

Begins a mini undo block. When undo() is called, all events since the last beginUndo() are undone, ignoring any calls to beginMiniUndo(). When miniUndo() is called, all events since the last call to beginUndo() or beginMiniUndo() are undone. Designed to allow debugging of user-written filters -- acts as a breakpoint.

addUndo

  public void addUndo(UndoObject u)

Adds an UndoObject to the stack of objects to be undone.

undo

  public void undo()

Undoes all events since the last call to beginUndo().

miniUndo

  public void miniUndo()

Undoes all events since the last beginUndo() or beginMiniUndo().

redo

  public void redo()

Redoes the last action undone, provided that the very last action performed was an undo. That is, when an action other than undo is performed, all redo information is lost.

miniRedo

  public void miniRedo()

Like redo(), except will stop at places where beginMiniUndo() was called

All Packages    This Package    Previous    Next