public final class PrefixesChangedEvent extends DocumentEvent
In response to this custom DocumentEvent, the application should update its parts which display element and attribute names.
DocumentEvent.Type
Modifier and Type | Field and Description |
---|---|
Document |
document
The document which is the subject of this event.
|
source, type
Constructor and Description |
---|
PrefixesChangedEvent()
Constructs an event intended to be used several times with different
field values.
|
PrefixesChangedEvent(Object notifier,
Document document)
Constructs an event.
|
Modifier and Type | Method and Description |
---|---|
void |
initialize(Object notifier,
Document document)
Initializes this event.
|
copy, getSource, getType, initialize, toString
public Document document
public PrefixesChangedEvent()
initialize(java.lang.Object, com.xmlmind.xml.doc.Document)
to initialize its fields.