gate.gui
Class DocumentEditor.EventsHandler.SetRemovedOperation
java.lang.Object
|
+--gate.gui.DocumentEditor.EventsHandler.SetRemovedOperation
- All Implemented Interfaces:
- Runnable
- Enclosing class:
- DocumentEditor.EventsHandler
- class DocumentEditor.EventsHandler.SetRemovedOperation
- extends Object
- implements Runnable
Helper class that handles the removal of a named annotation set.
This runnable should only be called from the Swing thread
Method Summary |
void |
run()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
setName
String setName
DocumentEditor.EventsHandler.SetRemovedOperation
DocumentEditor.EventsHandler.SetRemovedOperation(String setName)
run
public void run()
- Specified by:
run
in interface Runnable