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

Packages that use TaskManager

Package	Description
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

Modifier and Type	Field	Description
static final TaskManager	TaskManager.instance	A singleton instance of TaskManager