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