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

Methods in org.gjt.sp.util that return TaskManager

static TaskManager	TaskManager.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static TaskManager[]	TaskManager.values() Returns an array containing the constants of this enum type, in the order they are declared.