Package | Description |
---|---|
org.gjt.sp.util |
Utility classes used by jEdit but that do not depend on jEdit
itself.
|
Modifier and Type | Method and Description |
---|---|
WorkThread |
WorkThreadPool.getThread(int index)
Deprecated.
Returns the specified thread.
|