Uses of Class
org.gjt.sp.util.TaskManager

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