Class UndoPack.U_delimitBaby
All Packages    This Package    Previous    Next

Class UndoPack.U_delimitBaby

java.lang.Object
   |
   +----UndoPack.UndoObject
           |
           +----UndoPack.U_delimitMan
                   |
                   +----UndoPack.U_delimitBaby

public class U_delimitBaby
extends U_delimitMan
Delimiter between mini undo blocks. Not used anywhere in our code, available for debugging purposes when writing filters.

U_delimitBaby()

undo(GraphDispatcher)

U_delimitBaby
  public U_delimitBaby()

undo
  public void undo(GraphDispatcher g)

All Packages    This Package    Previous    Next