gate.gui.docview
Class TextualDocumentView.SwingDocumentListener

java.lang.Object
  gate.gui.docview.TextualDocumentView.SwingDocumentListener

All Implemented Interfaces:

EventListener, DocumentListener

Enclosing class:

TextualDocumentView

protected class TextualDocumentView.SwingDocumentListener
extends Object
implements DocumentListener

Constructor Summary

protected

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

protected 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