void rowHeaderWidth(int width)
Sets the row header width.
int rowHeaderWidth()
Gets the row header width.