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