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