Swing/GotoLine のバックアップ(No.8)

JButton button = new JButton(new AbstractAction("Goto Line") {
  @Override public void actionPerformed(ActionEvent e) {
    Document doc = textArea.getDocument();
    Element root = doc.getDefaultRootElement();
    int i = 1;
    try {
      i = Integer.parseInt(textField.getText().trim());
      i = Math.max(1, Math.min(root.getElementCount(), i));
    } catch (NumberFormatException nfe) {
      Toolkit.getDefaultToolkit().beep();
      return;
    }
    try {
      Element elem = root.getElement(i-1);
      Rectangle rect = textArea.modelToView(elem.getStartOffset());
      Rectangle vr = scroll.getViewport().getViewRect();
      rect.setSize(10, vr.height);
      textArea.scrollRectToVisible(rect);
      textArea.setCaretPosition(elem.getStartOffset());
      //textArea.requestFocus();
    } catch (BadLocationException ble) {
      Toolkit.getDefaultToolkit().beep();
    }
  }
});
frame.getRootPane().setDefaultButton(button);