gate.gui
Class DocumentEditor.EventsHandler.SetRemovedOperation

java.lang.Object
  extended bygate.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


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

Field Detail

setName

String setName
Constructor Detail

DocumentEditor.EventsHandler.SetRemovedOperation

DocumentEditor.EventsHandler.SetRemovedOperation(String setName)
Method Detail

run

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