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.
Method Summary |
void |
run()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ann
Annotation ann
DocumentEditor.EventsHandler.HighlightsRemover
DocumentEditor.EventsHandler.HighlightsRemover(Annotation ann)
run
public void run()
- Specified by:
run
in interface Runnable