public interface IDocumentUndoListenerThis interface is used to listen to notifications from a DocumentUndoManager. The supplied DocumentUndoEvent describes the particular notification.
Document undo listeners must be prepared to receive notifications from a background thread. Any UI access occurring inside the implementation must be properly synchronized using the techniques specified by the client's widget library.
Clients may implement this interface.
void documentUndoNotification(DocumentUndoEvent event)The document is involved in an undo-related change. Notify listeners with an event describing the change.
event- the document undo event that describes the particular notification