Swing/TableHeaderHeight のバックアップ(No.1)

TITLE:JTableHeaderの高さを変更

Posted by aterai at 2012-05-28

JTableHeaderの高さを変更

JTableHeaderの高さを変更します。

&jnlp;
&jar;
&zip;

サンプルコード

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のしくみ

JTableHeaderの高さを変更

サンプルコード

解説

参考リンク

コメント