gate.gui
Class DocumentEditor.SelectionBlinker
java.lang.Object
|
+--gate.gui.DocumentEditor.SelectionBlinker
- All Implemented Interfaces:
- Runnable
- Enclosing class:
- DocumentEditor
- class DocumentEditor.SelectionBlinker
- extends Object
- implements Runnable
This class handles the blinking for the selected annotations in the
text display.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
actualHighlights
ArrayList actualHighlights
thread
Thread thread
highlights
Highlighter.Highlight[] highlights
DocumentEditor.SelectionBlinker
DocumentEditor.SelectionBlinker()
run
public void run()
- Specified by:
run
in interface Runnable
testAndStart
public void testAndStart()
- If there is no running thread then starts one and stores it in
the thread member.
showHighlights
protected void showHighlights()
hideHighlights
protected void hideHighlights()