gate.gui
Class DocumentEditor.EventsHandler.HihglightsShower
java.lang.Object
|
+--gate.gui.DocumentEditor.EventsHandler.HihglightsShower
- All Implemented Interfaces:
- Runnable
- Enclosing class:
- DocumentEditor.EventsHandler
- class DocumentEditor.EventsHandler.HihglightsShower
- extends Object
- implements Runnable
Helper class that highlights a given annotation with the specified style.
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
style
Style style
DocumentEditor.EventsHandler.HihglightsShower
DocumentEditor.EventsHandler.HihglightsShower(Annotation ann,
Style style)
run
public void run()
- Specified by:
run
in interface Runnable