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)