如何设置 SWT Table 的 header 高度?

How to set the header height of an SWT Table?

目前,我在设置 table header 的高度时遇到一些问题。这是我的代码:

public static void main(String[] args) {
    final Display display = new Display();
    final Shell shell = new Shell(display);
    shell.setLayout(new FillLayout());
    final Table table = new Table(shell, SWT.H_SCROLL | SWT.MULTI | SWT.BORDER | SWT.FULL_SELECTION | SWT.CHECK);
    table.setLinesVisible(true);
    table.setHeaderVisible(true);
    final String[] titles = { "titleioioio", "C", "!", "Description", "Resource", "In Folder", "Location" };
    for (int i = 0; i < titles.length; i++) {
        TableColumn column = new TableColumn(table, SWT.NONE);
        column.setText(titles[i]);
    }

    int count = 10;
    for (int i = 0; i < count; i++) {
        TableItem item = new TableItem(table, SWT.NONE);
        item.setText(0, "x");
        item.setText(1, "y");
        item.setText(2, "!");
        item.setText(3, "this stuff behaves the way I expect");
        item.setText(4, "almost everywhere");
        item.setText(5, "some.folder");
        item.setText(6, "line " + i + " in nowhere");
    }
    table.pack();
    for (int i = 0; i < titles.length; i++) {
        table.getColumn(i).pack();
    }
    Button button = new Button(shell, SWT.PUSH);
    button.setText("change font");
    button.addSelectionListener(new SelectionListener() {
        public void widgetSelected(SelectionEvent e) {
            FontDialog d = new FontDialog(shell);
            FontData data = d.open();
            table.setFont(new Font(display, data));
            for (int i = 0; i < titles.length; i++) {
                table.getColumn(i).pack();
            }

        }

        public void widgetDefaultSelected(SelectionEvent e) {

        }
    });

    shell.pack();
    shell.open();
    while (!shell.isDisposed()) {
        if (!display.readAndDispatch())
            display.sleep();
    }
    display.dispose();
}

有什么方法可以设置这个tableheader的高度吗?我试图在 TableTableColumn 中找到 setSize() 方法,但它不存在。

无法在 SWT Table 或树中更改 header 的高度。

SWT 使用底层平台的本机小部件,在某些情况下不允许更改 header 高度。为了在所有平台上保持一致,SWT 不提供 API 因此。