svoid moveCaretToLineAndCol(JTextArea ta, LineAndColumn lac) swing {
  pcall {
    setCaretPosition(ta, ta.getLineStartOffset(lac.line)+lac.col);
  }
}