/**
* Gets the column width for the specified column
*
* @param col the column number
* @return the column format, or the default format if no override is specified
*/
public CellView getColumnView(int col) {
ColumnInfoRecord cir = getColumnInfo(col);
CellView cv = new CellView();
if (cir != null) {
cv.setDimension(cir.getWidth() / 256); // deprecated
cv.setSize(cir.getWidth());
cv.setHidden(cir.getHidden());
cv.setFormat(formattingRecords.getXFRecord(cir.getXFIndex()));
} else {
cv.setDimension(settings.getDefaultColumnWidth()); // deprecated
cv.setSize(settings.getDefaultColumnWidth() * 256);
}
return cv;
}