svoid scrollTextAreaToLineAndCol(JTextArea ta, LineAndColumn lac) {
  pcall swing ctex {
    int pos = ta.getLineStartOffset(lac.line-1)+lac.col-1;
    Rectangle viewRect = ta.modelToView(pos);
    printVars("scrollTextAreaToLineAndCol", +lac, +pos, +viewRect);
    if (viewRect != null)
      setEnclosingViewPosition(ta, viewRect.x, viewRect.y);
  }
}