Uses of Interface
org.gjt.sp.util.TaskManager.TaskVisitor
Packages that use TaskManager.TaskVisitor
Package
Description
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.TaskVisitorModifier and TypeMethodDescriptionvoid
TaskManager.visit
(TaskManager.TaskVisitor visitor) Visit all tasks.