Width for row header

Width of a column header or a row column

Height for column headers and column header row header

The fixed height for row headers and row columns.

If the height of row headers or row columns is not this height, then the list will look broken.

Index of a tabular list component among the same kind of components

Available width

widthDeficit = max 0 $ desiredColumnWidth - availableWidth

It is positive when a column is shrunk to the available width.

If you use fixed paddings to introduce gaps between columns, you may want to remove fixed paddings when width deficit is positive because a column is not preceded or followed by other columns and its width is shrunk.

The following examples show how to remove gaps between columns when width deficit is positive.

padRight (Pad $ if widthDeficit > 0 then 0 else 1) $ padLeft Max content

padLeft (Pad $ if widthDeficit > 0 then 0 else 1) $ hCenter content

Whether the list is focused in an application

Whether a tabular list component is selected

Row header context

Row header

• Type Variables
• Rendering

Type Variables

• r - the type of row header

The renderer for column header row header.

If row headers and column headers exist and ColHdrRowHdr doesn't exist, then column header row header is filled with empty space. ColHdrRowHdr merely allows you to customize column header row header.