4546474849505152535455
public void undone(boolean b) {} public void addUndo() { Undo undo_object = createUndo(); undo_object.undoable(this); //Debug.on();Debug.print("add " + undo_object);Debug.off(); constrainer().addUndo(undo_object); } } // ~UndoableImpl
6364656667686970717273
{ if (!_undone) { _undone = true; Undo undo_object = createUndo(); undo_object.undoable(this); //Debug.on();Debug.print("add " + undo_object);Debug.off(); // constrainer().addUndo(undo_object); constrainer().addUndo(undo_object,this); } }