public class CodeSelector extends java.lang.Object
| 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.
|
public CodeSelector(java.lang.Object node, javax.swing.JTextArea editor, java.util.List<java.lang.Integer> lines2position)
node - ast node.editor - text area editor.lines2position - list to map lines.public void select()
Copyright © 2001-2020. All Rights Reserved.