A pool of work threads.
author: Slava Pestov version: $Id: WorkThreadPool.java 10796 2007-10-04 08:46:18Z kpouer $ See Also:org.gjt.sp.util.WorkThread since: jEdit 2.6pre1
Inner Class :static class Request
Inner Class :class RunRequestsInAWTThread implements Runnable
addWorkRequest(Runnable run, boolean inAWT) Adds a work request to the queue.
Parameters: run - The runnable Parameters: inAWT - If true, will be executed in AWT thread.
public WorkThreadPool(String name, int count)(Code)
Creates a new work thread pool with the specified number of
work threads.
Parameters: name - The thread name prefix Parameters: count - The number of work threads
Adds a progress listener to this thread pool.
Parameters: listener - The listener
addWorkRequest
public void addWorkRequest(Runnable run, boolean inAWT)(Code)
Adds a work request to the queue.
Parameters: run - The runnable Parameters: inAWT - If true, will be executed in AWT thread. Otherwise,will be executed in work thread