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.