|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |