gate.gui.docview
Class TextualDocumentView.GateDocumentListener

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

All Implemented Interfaces:

DocumentListener, EventListener

Enclosing class:

TextualDocumentView

protected class TextualDocumentView.GateDocumentListener
extends Object
implements DocumentListener

Constructor Summary

protected

TextualDocumentView.GateDocumentListener()

Method Summary

void	annotationSetAdded(DocumentEvent e) Called when a new AnnotationSet has been added
void	annotationSetRemoved(DocumentEvent e) Called when an AnnotationSet has been removed
void	contentEdited(DocumentEvent e) Called when the content of the document has changed through an edit operation.
void	setActive(boolean active)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TextualDocumentView.GateDocumentListener

protected TextualDocumentView.GateDocumentListener()

Method Detail

annotationSetAdded

public void annotationSetAdded(DocumentEvent e)

Description copied from interface: DocumentListener

Called when a new AnnotationSet has been added

Specified by:

annotationSetAdded in interface DocumentListener

annotationSetRemoved

public void annotationSetRemoved(DocumentEvent e)

Description copied from interface: DocumentListener

Called when an AnnotationSet has been removed

Specified by:

annotationSetRemoved in interface DocumentListener

contentEdited

public void contentEdited(DocumentEvent e)

Description copied from interface: DocumentListener

Called when the content of the document has changed through an edit operation.

Specified by:

contentEdited in interface DocumentListener

setActive

public void setActive(boolean active)