Swing/FIFODocument のバックアップ(No.22)

category: swing folder: FIFODocument title: JTextAreaに表示できる行数を制限 tags: [JTextArea, DocumentListener] author: aterai pubdate: 2006-02-27T11:11:21+09:00 description: ドキュメントのサイズを一定にして、JTextAreaなど表示できる行数を制限します。 image:

概要

ドキュメントのサイズを一定にして、JTextAreaなど表示できる行数を制限します。Swing (Archive) - JTextArea Memory Overflow ??にあるソースコードを参考にしています。

Screenshot

Download

サンプルコード

jta.setEditable(false);
jta.getDocument().addDocumentListener(new DocumentListener() {
  @Override public void insertUpdate(DocumentEvent e) {
    final Document doc = jta.getDocument();
    final Element root = doc.getDefaultRootElement();
    if (root.getElementCount() <= maxLines) return;
    EventQueue.invokeLater(new Runnable() {
      @Override public void run() {
        removeLines(doc, root);
      }
    });
    jta.setCaretPosition(doc.getLength());
  }

  private void removeLines(Document doc, Element root) {
    Element fl = root.getElement(0);
    try {
      doc.remove(0, fl.getEndOffset());
    } catch (BadLocationException ble) {
      System.out.println(ble);
    }
  }

  @Override public void removeUpdate(DocumentEvent e) {}

  @Override public void changedUpdate(DocumentEvent e) {}
});
Timer timer = new Timer(100, () -> {
  String s = new Date().toString();
  jta.append((jta.getDocument().getLength() > 0) ? "\n" + s : s);
});

View in GitHub: Java, Kotlin

解説

上記のサンプルでは、1行追加した時に規定の行数を越えている場合、先頭の1行を削除するDocumentListenerを作成し、これをJTextAreaに設定しています。

10行以上になると先頭行から削除
複数行テキストのペーストには未対応
- 参考: Swing (Archive) - JTextArea Memory Overflow ??は、複数行貼り込みに対応している

DocumentListenerではなく、以下のようなDocumentFilterを設定する方法もある

((AbstractDocument) ta.getDocument()).setDocumentFilter(new FIFODocumentFilter());
// ...
class FIFODocumentFilter extends DocumentFilter {
  private static final int MAX_LINES = 10;
  @Override public void insertString(
      DocumentFilter.FilterBypass fb, int offset,
      String string, AttributeSet attr)
      throws BadLocationException {
    fb.insertString(offset, string, attr);
    Element root = fb.getDocument().getDefaultRootElement();
    if (root.getElementCount() > MAX_LINES) {
      fb.remove(0, root.getElement(0).getEndOffset());
    }
  }
}

参考リンク

Swing (Archive) - JTextArea Memory Overflow ??