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;
}