Uses of Class
org.eclipse.text.undo.DocumentUndoEvent
-
Uses of DocumentUndoEvent in org.eclipse.text.undo
Modifier and TypeMethodDescriptionvoid
IDocumentUndoListener.documentUndoNotification
(DocumentUndoEvent event) The document is involved in an undo-related change.