274275276277278279280281282283284
public void undoable(Undoable u) { super.undoable(u); Subject subject = (Subject) u; _event_mask = subject.publisherMask(); } public void undo() { Subject subject = (Subject) undoable();