public interface JEditVisitor
jEdit.visit(JEditVisitor)
,
View.visit(JEditVisitor)
void visit(View view)
view
- the visited viewvoid visit(EditPane editPane)
editPane
- the visited edit panevoid visit(JEditTextArea textArea)
textArea
- the visited textArea