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


Field Summary
(package private)  ArrayList actualHighlights
           
 
Constructor Summary
(package private) AnnotationEditor.SelectionBlinker()
           
 
Method Summary
protected  void hideHighlights()
           
 void run()
           
protected  void showHighlights()
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

actualHighlights

ArrayList actualHighlights
Constructor Detail

AnnotationEditor.SelectionBlinker

AnnotationEditor.SelectionBlinker()
Method Detail

run

public void run()
Specified by:
run in interface Runnable

showHighlights

protected void showHighlights()

hideHighlights

protected void hideHighlights()