JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
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 and Description
static
TaskManager
TaskManager.
instance
A singleton instance of TaskManager
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes