protected class NodePickerPanel.XMLAreaListener
extends java.lang.Object
implements javax.swing.event.DocumentListener
Modifier | Constructor and Description |
---|---|
protected |
XMLAreaListener() |
Modifier and Type | Method and Description |
---|---|
void |
changedUpdate(javax.swing.event.DocumentEvent e) |
void |
insertUpdate(javax.swing.event.DocumentEvent e) |
void |
removeUpdate(javax.swing.event.DocumentEvent e) |
private void |
updateNodePicker(javax.swing.event.DocumentEvent e)
Updates the node picker panel after document changes.
|
public void changedUpdate(javax.swing.event.DocumentEvent e)
changedUpdate
in interface javax.swing.event.DocumentListener
public void insertUpdate(javax.swing.event.DocumentEvent e)
insertUpdate
in interface javax.swing.event.DocumentListener
public void removeUpdate(javax.swing.event.DocumentEvent e)
removeUpdate
in interface javax.swing.event.DocumentListener
private void updateNodePicker(javax.swing.event.DocumentEvent e)
e
- The document event