273274275276277278279280
private int _event_mask; public void undoable(Undoable u) { super.undoable(u); Subject subject = (Subject) u; _event_mask = subject.publisherMask(); }
279280281282283284285286287
_event_mask = subject.publisherMask(); } public void undo() { Subject subject = (Subject) undoable(); subject.forcePublisherMask(_event_mask); super.undo(); }
321322323324325326327328
Observer _observer; public void undo() { Subject subject = (Subject)undoable(); subject.forcedDetachObserver(_observer); }
363364365366367368369370
private Observer _observer; public void undo() { Subject subject = (Subject)undoable(); subject.forcedAttachObserver(_observer); }