Swing/SmoothScroll のバックアップ(No.4)

Document doc = textArea.getDocument();
Element root = doc.getDefaultRootElement();
int ln = getDestLineNumber(textField, root);
if(ln<0) { Toolkit.getDefaultToolkit().beep(); return; }
try{
  final Element elem = root.getElement(ln-1);
  final Rectangle dest = textArea.modelToView(elem.getStartOffset());
  final Rectangle current = scroll.getViewport().getViewRect();
  new Timer(20, new ActionListener() {
    @Override public void actionPerformed(ActionEvent ae) {
      Timer animator = (Timer)ae.getSource();
      if(dest.y < current.y && animator.isRunning()) {
        int d = Math.max(1, (current.y-dest.y)/2);
        current.y = current.y - d;
        textArea.scrollRectToVisible(current);
      }else if(dest.y > current.y && animator.isRunning()) {
        int d = Math.max(1, (dest.y-current.y)/2);
        current.y = current.y + d;
        textArea.scrollRectToVisible(current);
      }else{
        textArea.setCaretPosition(elem.getStartOffset());
        animator.stop();
      }
    }
  }).start();
}catch(BadLocationException ble) {
  Toolkit.getDefaultToolkit().beep();
}