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

category: swing folder: TableHeaderHeight title: JTableHeaderの高さを変更 tags: [JTableHeader, JTable, JScrollPane, JViewport] author: aterai pubdate: 2012-05-28T14:51:47+09:00 description: 内部の文字サイズなどはそのままで、JTableHeaderの高さだけを変更する方法をテストします。 image: hreflang:
```
   href: https://java-swing-tips.blogspot.com/2012/06/height-of-jtableheader.html
   lang: en
```

概要

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

Screenshot

Download

サンプルコード

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

View in GitHub: Java, Kotlin

解説

上: 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で修正されている

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

概要

Screenshot

Download

Advertisement

サンプルコード

解説

参考リンク

コメント