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

## Uses of Interface
org.gjt.sp.util.TaskManager.TaskVisitor

Packages that use TaskManager.TaskVisitor
org.gjt.sp.util | Utility classes used by jEdit but that do not depend on jEdit itself.

Uses of TaskManager.TaskVisitor in org.gjt.sp.util

Methods in org.gjt.sp.util with parameters of type TaskManager.TaskVisitor
`void` | `TaskManager.visit(TaskManager.TaskVisitor visitor)` Visit all tasks.

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