svoid scrollTextAreaToLineAndCol(JTextArea ta, LineAndColumn lac) {
  pcall swing ctex {
    int pos = ta.getLineStartOffset(lac.line-1)+lac.col-1;
    Rectangle viewRect = ta.modelToView(pos);
    ta.scrollRectToVisible(viewRect);
  }
}