gate.gui
Class DocumentEditor.EventsHandler.HighlightsRemover

java.lang.Object
  |
  +--gate.gui.DocumentEditor.EventsHandler.HighlightsRemover
All Implemented Interfaces:
Runnable
Enclosing class:
DocumentEditor.EventsHandler

class DocumentEditor.EventsHandler.HighlightsRemover
extends Object
implements Runnable

Helper class that removes one highlight corresponding to an annotation.


Field Summary
(package private)  Annotation ann
           
 
Constructor Summary
(package private) DocumentEditor.EventsHandler.HighlightsRemover(Annotation ann)
           
 
Method Summary
 void run()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ann

Annotation ann
Constructor Detail

DocumentEditor.EventsHandler.HighlightsRemover

DocumentEditor.EventsHandler.HighlightsRemover(Annotation ann)
Method Detail

run

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