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