gate.gui
Class DocumentEditor.SwingDocumentListener
java.lang.Object
gate.gui.DocumentEditor.SwingDocumentListener
- All Implemented Interfaces:
- DocumentListener, EventListener
- Enclosing class:
- DocumentEditor
- class DocumentEditor.SwingDocumentListener
- extends Object
- implements DocumentListener
Listens for updates from the text editor and updates the GATE document
accordingly
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DocumentEditor.SwingDocumentListener
DocumentEditor.SwingDocumentListener()
insertUpdate
public void insertUpdate(DocumentEvent e)
- Specified by:
insertUpdate
in interface DocumentListener
removeUpdate
public void removeUpdate(DocumentEvent e)
- Specified by:
removeUpdate
in interface DocumentListener
changedUpdate
public void changedUpdate(DocumentEvent e)
- Specified by:
changedUpdate
in interface DocumentListener