return settingsChanged;
}
private void setTableSettings(TableSettings settings, LabeledTable table) {
TableOrientation orientation = settings.getOrientation();
int[] columnWidths = settings.getColumnWidths();
int[] columnOrder = settings.getColumnOrder();
int[] rowHeights = settings.getRowHeights();
ContentAlignment[] rowHeaderAlignments = settings
.getRowHeaderAlignments();