public final class DocumentEvent
extends java.util.EventObject
Document
has been modified.Constructor and Description |
---|
DocumentEvent(Document document)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
Document |
getDocument()
Get the
Document whose state has changed. |
public DocumentEvent(Document document)
document
- the document whose state has been altered.