public interface CodeEditorViewSelectionSetter
| Modifier and Type | Method and Description | 
|---|---|
void | 
setSelection(Element[] newSelection)
Set the view selection in the CodeEditor and trigger a ViewSelectionEvent 
 | 
void setSelection(Element[] newSelection)
newSelection -