public interface DocumentListener
extends java.util.EventListener, java.io.Serializable
Document,
DocumentEvent| Modifier and Type | Method and Description |
|---|---|
void |
documentUpdate(DocumentEvent e)
Invoked when an document update occurs.
|
void documentUpdate(DocumentEvent e)
e - an event describing the update