|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TaskManager | |
---|---|
org.gjt.sp.util | Utility classes used by jEdit but that do not depend on jEdit itself. |
Uses of TaskManager in org.gjt.sp.util |
---|
Fields in org.gjt.sp.util declared as TaskManager | |
---|---|
static TaskManager |
TaskManager.instance
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |