Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## 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`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES