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
-