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