gate.gui
Class AnnotationEditor.SelectionBlinker
java.lang.Object
|
+--gate.gui.AnnotationEditor.SelectionBlinker
- All Implemented Interfaces:
- Runnable
- Enclosing class:
- AnnotationEditor
- class AnnotationEditor.SelectionBlinker
- extends Object
- implements Runnable
This class handles the blinking for the selected annotations in the
text display. On creation
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
actualHighlights
ArrayList actualHighlights
AnnotationEditor.SelectionBlinker
AnnotationEditor.SelectionBlinker()
run
public void run()
- Specified by:
run
in interface Runnable
showHighlights
protected void showHighlights()
hideHighlights
protected void hideHighlights()