JTableHeaderの高さを変更

概要

内部の文字サイズなどはそのままで、JTableHeaderの高さだけを変更する方法をテストします。

• Runnable JARファイル example.jar
• ソースコード src.zip
• リポジトリ repository

サンプルコード

JScrollPane scroll = new JScrollPane(table);
scroll.setColumnHeader(new JViewport() {
  @Override public Dimension getPreferredSize() {
    Dimension d = super.getPreferredSize();
    d.height = 32;
    return d;
  }
});

解説

• 上
  • JTableHeaderにnull(デフォルト)以外のサイズをsetPreferredSize(...)で設定
  • 列幅の調整を自動的に行わないJTable.AUTO_RESIZE_OFFモードの場合、設定されたこのサイズが列の追加や列幅の変更で更新されないため、ヘッダの描画が不正になる
    • JTableのJTalbeHeaderの高さを変更して列幅の合計が１２００ピクセルを超えて横スクロールするとバグった。 - kensir0uのしくみ
  • JTable.AUTO_RESIZE_OFF以外の場合は、setPreferredSize(...)で設定された幅は無視されて、JTableの幅が使用される

• 下
  • JViewport#getPreferredSize()もしくは、JTableHeader#getPreferredSize()をオーバーライドして、JTableHeaderの高さを変更

    table.setTableHeader(new JTableHeader(table.getColumnModel()) {
      @Override public Dimension getPreferredSize() {
        Dimension d = super.getPreferredSize();
        d.height = 32;
        return d;
      }
    });
    

  • viewport.setPreferredSize(...)と設定しても可?
  • JTableHeader#getHeight()をオーバーライドすると、ヘッダ文字列などの描画だけ変更される
    • getHeight()はJTableHeader#getHeaderRect()で使用されているため

参考リンク

• JTableのJTalbeHeaderの高さを変更して列幅の合計が１２００ピクセルを超えて横スクロールするとバグった。 - kensir0uのしくみ
  • このバグ？の状態を適切に示す良いサンプルコードがある
• JDK-4473075 JTable header rendering problem (after setting preferred size) - Java Bug System
  • JDK 9で修正されている

コメント