📄 groupabletableheader.java
字号:
/* * (swing1.1beta3) * */package jp.gr.java_conf.tame.swing.table;import java.util.*;import java.awt.*;import javax.swing.*;import javax.swing.table.*; /** * GroupableTableHeader * * @version 1.0 10/20/98 * @author Nobuo Tamemasa */public class GroupableTableHeader extends JTableHeader { private static final String uiClassID = "GroupableTableHeaderUI"; protected Vector columnGroups = null; public GroupableTableHeader(TableColumnModel model) { super(model); setUI(new GroupableTableHeaderUI()); setReorderingAllowed(false); } public void setReorderingAllowed(boolean b) { reorderingAllowed = false; } public void addColumnGroup(ColumnGroup g) { if (columnGroups == null) { columnGroups = new Vector(); } columnGroups.addElement(g); } public Enumeration getColumnGroups(TableColumn col) { if (columnGroups == null) return null; Enumeration enum = columnGroups.elements(); while (enum.hasMoreElements()) { ColumnGroup cGroup = (ColumnGroup)enum.nextElement(); Vector v_ret = (Vector)cGroup.getColumnGroups(col,new Vector()); if (v_ret != null) { return v_ret.elements(); } } return null; } public void setColumnMargin() { if (columnGroups == null) return; int columnMargin = getColumnModel().getColumnMargin(); Enumeration enum = columnGroups.elements(); while (enum.hasMoreElements()) { ColumnGroup cGroup = (ColumnGroup)enum.nextElement(); cGroup.setColumnMargin(columnMargin); } } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -