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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• Swing/TableHeaderHeight へ行く。
  • 1 (2012-05-30 (水) 14:30:06)
  • 2 (2012-06-11 (月) 19:57:26)
  • 3 (2012-12-11 (火) 20:47:38)
  • 4 (2014-09-21 (日) 04:14:53)
  • 5 (2014-10-25 (土) 23:42:30)
  • 6 (2014-11-14 (金) 02:47:00)
  • 7 (2014-11-26 (水) 02:28:53)
  • 8 (2015-03-16 (月) 20:28:27)
  • 9 (2016-05-27 (金) 15:30:47)
  • 10 (2016-05-29 (日) 23:34:22)
  • 11 (2017-06-06 (火) 14:32:56)
  • 12 (2018-02-24 (土) 19:51:30)
  • 13 (2018-05-24 (木) 16:20:39)
  • 14 (2020-05-06 (水) 18:53:51)
  • 15 (2021-11-03 (水) 02:24:16)
  • 16 (2022-08-05 (金) 15:46:40)
  • 17 (2022-08-20 (土) 22:15:25)

• 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

• Runnable JAR example.jar
• Source code src.zip
• Repository GitHub

サンプルコード

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

コメント