jtdaugherty/brick
1
1
Fork 0
mirror of https://github.com/jtdaugherty/brick.git synced 2024-12-02 11:05:10 +03:00
Code Issues Projects Releases Wiki Activity

table: raise exception if any contents use Greedy policy

Browse Source
This commit is contained in:
Jonathan Daugherty 2021-01-31 19:39:22 -08:00
parent 1607de7ef8
commit 2182c80ab3
1 changed files with 13 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/Brick/Widgets/Table.hs
View File

@ -38,7 +38,14 @@ data Table n =
table :: [[Widget n]] -> Table n table :: [[Widget n]] -> Table n
table rows = table rows =
Table { columnAlignments = mempty if not allFixed
then error "table: all cells must have Fixed horizontal and vertical growth policies"
else t
where
allFixed = all (== Fixed) $ concat $ getPolicies <$> rows
getPolicies row = concat $ getCellPolicies <$> row
getCellPolicies w = [hSize w, vSize w]
t = Table { columnAlignments = mempty
, tableRows = rows , tableRows = rows
, drawSurroundingBorder = True , drawSurroundingBorder = True
, drawRowBorders = True , drawRowBorders = True