JTableHeaderの高さを変更

概要

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

スクリーンショット

広告

サンプルコード

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

解説

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

• 下: Override getPreferredSize()
  • 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で修正されている

コメント