* @param width The new column width.
	 */
	public void adjustColumnWidth(Column column, int width) {
		ArrayList<Column> columns = new ArrayList<>(1);
		column.setWidth(width);
		columns.add(column);
		processColumnWidthChanges(columns);
	}