public final class DocumentUndoProvider extends java.lang.Object implements DocumentListener
ARRAY_FACTORY, EMPTY_ARRAY
Modifier and Type | Method and Description |
---|---|
void |
beforeDocumentChange(DocumentEvent e)
Called before the text of the document is changed.
|
void |
documentChanged(DocumentEvent e)
Called after the text of the document has been changed.
|
static void |
finishDocumentUndo(Document doc) |
static void |
startDocumentUndo(Document doc) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
bulkUpdateFinished, bulkUpdateStarting
public static void startDocumentUndo(Document doc)
public static void finishDocumentUndo(Document doc)
public void beforeDocumentChange(DocumentEvent e)
DocumentListener
beforeDocumentChange
in interface DocumentListener
e
- the event containing the information about the change.public void documentChanged(DocumentEvent e)
DocumentListener
documentChanged
in interface DocumentListener
e
- the event containing the information about the change.