Method setSelection

app/src/processing/app/EditorTab.java:482–484

(int start, int stop)

  }

  public void setSelection(int start, int stop) {
    textarea.select(start, stop);
  }
  
  public int getScrollPosition() {
    return scrollPane.getVerticalScrollBar().getValue();