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

Packages that use TaskManager.TaskVisitor

Package	Description
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

Modifier and Type	Method	Description
void	TaskManager.visit(TaskManager.TaskVisitor visitor)	Visit all tasks.