01: package org.gui4j.core.swing;
02:
03: import java.awt.Dimension;
04: import java.awt.Font;
05:
06: import javax.swing.JLabel;
07: import javax.swing.table.JTableHeader;
08: import javax.swing.table.TableColumnModel;
09:
10: public final class Gui4jJTableHeader extends JTableHeader {
11: private final int height;
12:
13: /**
14: * @param cm
15: * @param font
16: * @param lines
17: */
18: public Gui4jJTableHeader(TableColumnModel cm, Font font, int lines) {
19: super (cm);
20: JLabel label = new JLabel("XXX");
21: label.setFont(font);
22: height = (label.getPreferredSize().height + 1) * lines + 3;
23: }
24:
25: /**
26: * @see java.awt.Component#getPreferredSize()
27: */
28: public Dimension getPreferredSize() {
29: Dimension d = super.getPreferredSize();
30: if (d.height < height) {
31: d.height = height;
32: }
33: return d;
34: }
35:
36: }
|