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

Document doc = textArea.getDocument();
Element root = doc.getDefaultRootElement();
int ln = model.getNumber().intValue();
try {
  Element elem = root.getElement(ln - 1);
  Rectangle dest = textArea.modelToView(elem.getStartOffset());
  Rectangle current = scroll.getViewport().getViewRect();
  new Timer(20, e -> {
    Timer animator = (Timer) e.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 ex) {
  UIManager.getLookAndFeel().provideErrorFeedback(textArea);
}