gate.gui.docview
Class TextualDocumentView.SwingDocumentListener

java.lang.Object
  extended bygate.gui.docview.TextualDocumentView.SwingDocumentListener
All Implemented Interfaces:
DocumentListener, EventListener
Enclosing class:
TextualDocumentView

class TextualDocumentView.SwingDocumentListener
extends Object
implements DocumentListener


Constructor Summary
(package private) TextualDocumentView.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

TextualDocumentView.SwingDocumentListener

TextualDocumentView.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