public interface JEditVisitor
jEdit.visit(JEditVisitor),
View.visit(JEditVisitor)| Modifier and Type | Method and Description |
|---|---|
void |
visit(EditPane editPane)
Visit an EditPane.
|
void |
visit(JEditTextArea textArea)
Visit a view.
|
void |
visit(View view)
Visit a view.
|
void visit(View view)
view - the visited viewvoid visit(EditPane editPane)
editPane - the visited edit panevoid visit(JEditTextArea textArea)
textArea - the visited textArea