org.eclipse.text.undo

Interface IDocumentUndoListener

public interface IDocumentUndoListener

This 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.

Since:

3.2

Method Summary

Modifier and Type	Method and Description
void	documentUndoNotification(DocumentUndoEvent event) The document is involved in an undo-related change.

Method Detail

documentUndoNotification

void documentUndoNotification(DocumentUndoEvent event)

The document is involved in an undo-related change. Notify listeners with an event describing the change.

Parameters:

event - the document undo event that describes the particular notification