Uses of Class
org.gjt.sp.util.WorkThreadPool

Packages that use WorkThreadPool
org.gjt.sp.jedit.gui Various GUI controls and dialog boxes. 
org.gjt.sp.jedit.io Virtual file system and multi-threaded I/O. 
org.gjt.sp.util Utility classes used by jEdit but that do not depend on jEdit itself. 
 

Uses of WorkThreadPool in org.gjt.sp.jedit.gui
 

Methods in org.gjt.sp.jedit.gui with parameters of type WorkThreadPool
 void StatusBar.progressUpdate(WorkThreadPool threadPool, int threadIndex)
           
 void StatusBar.statusUpdate(WorkThreadPool threadPool, int threadIndex)
           
 

Uses of WorkThreadPool in org.gjt.sp.jedit.io
 

Methods in org.gjt.sp.jedit.io that return WorkThreadPool
static WorkThreadPool VFSManager.getIOThreadPool()
          Returns the I/O thread pool.
 

Uses of WorkThreadPool in org.gjt.sp.util
 

Methods in org.gjt.sp.util with parameters of type WorkThreadPool
 void WorkThreadProgressListener.progressUpdate(WorkThreadPool threadPool, int threadIndex)
           
 void WorkThreadProgressListener.statusUpdate(WorkThreadPool threadPool, int threadIndex)
           
 

Constructors in org.gjt.sp.util with parameters of type WorkThreadPool
WorkThread(WorkThreadPool pool, java.lang.ThreadGroup group, java.lang.String name)