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

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();
}