gate.gui.docview
Class AnnotationSetsView.TypeHandler
java.lang.Object
gate.gui.docview.AnnotationSetsView.TypeHandler
- Enclosing class:
- AnnotationSetsView
protected class AnnotationSetsView.TypeHandler
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
setColour
public void setColour(Color colour)
setSelected
public void setSelected(boolean selected)
isSelected
public boolean isSelected()
annotationAdded
public void annotationAdded(Annotation ann)
- Notifies this type handler that a new annotation was created of the
right type
- Parameters:
ann
-
annotationRemoved
public void annotationRemoved(Annotation ann)
- Notifies this type handler that an annotation has been removed
- Parameters:
ann
- the removed annotation
repairHighlights
protected void repairHighlights(int start,
int end)