}
if (table == null) {
throw new PropertyException("Ancestor 'table' object not found "
+ "for function \"proportional-column-width\".");
}
if (table.traitTableLayout() != TableLayout.FIXED) {
throw new PropertyException("Table layout must be \"fixed\" "
+ "for function \"proportional-column-width\".");
}
break;
}