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 TaskManager
TaskManager. instance
A singleton instance of TaskManager
-