JEditVisitorAdapter
, SaveCaretInfoVisitor
public interface JEditVisitor
jEdit.visit(JEditVisitor)
,
View.visit(JEditVisitor)
Modifier and Type | Method | 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