private int getColumnHeaderWidth()

in src/main/java/idea/plugin/psiviewer/view/PropertySheetPanel.java [169:180]


    private int getColumnHeaderWidth(JTable table, int colIndex)
    {
        TableColumn col = table.getColumnModel().getColumn(colIndex);
        TableCellRenderer renderer = col.getHeaderRenderer();
        if (renderer == null)
        {
            renderer = table.getTableHeader().getDefaultRenderer();
        }
        Component comp = renderer.getTableCellRendererComponent(
            table, col.getHeaderValue(), false, false, 0, 0);
        return comp.getPreferredSize().width;
    }