Uses of Class org.gjt.sp.util.TaskManager (jEdit API Documentation)
Date: 2017-03-18

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