949 |
if (ev.getPropertyName().equals("preferredWidth")) |
if (ev.getPropertyName().equals("preferredWidth")) |
950 |
{ |
{ |
951 |
JTableHeader header = getTableHeader(); |
JTableHeader header = getTableHeader(); |
952 |
TableColumn col = (TableColumn) ev.getSource(); |
if (header != null) |
953 |
header.setResizingColumn(col); |
{ |
954 |
doLayout(); |
TableColumn col = (TableColumn) ev.getSource(); |
955 |
header.setResizingColumn(null); |
header.setResizingColumn(col); |
956 |
|
doLayout(); |
957 |
|
header.setResizingColumn(null); |
958 |
|
} |
959 |
} |
} |
960 |
} |
} |
961 |
} |
} |