public class CodeSelector
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
private javax.swing.JTextArea |
editor
Editor.
|
private CodeSelectorPresentation |
pModel
Presentation model.
|
| Constructor and Description |
|---|
CodeSelector(java.lang.Object node,
javax.swing.JTextArea editor,
java.util.List<java.lang.Integer> lines2position)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
void |
select()
Set selection.
|
private final javax.swing.JTextArea editor
private final CodeSelectorPresentation pModel