static void selectLineInTextArea(JTextArea ta, int line) {
  swing {
    S text = getText(ta);
    int i = lineNrToCharIndex(text, line);
    int j = lineNrToCharIndex(text, line+1);
    ta.select(i, j);
  }
}