|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |