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


Constructor Summary
(package private) DocumentEditor.SwingDocumentListener()
           
 
Method Summary
 void changedUpdate(DocumentEvent e)
           
 void insertUpdate(DocumentEvent e)
           
 void removeUpdate(DocumentEvent e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DocumentEditor.SwingDocumentListener

DocumentEditor.SwingDocumentListener()
Method Detail

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