Use new table for listings.
This commit is contained in:
parent
3e4e8c4672
commit
eaced78aee
3 changed files with 6 additions and 5 deletions
|
@ -183,14 +183,15 @@
|
|||
;;(_ (print min-widths0))
|
||||
(min-widths (combine-column-widths min-widths0 widths))
|
||||
;;(_ (print min-widths))
|
||||
(col-weights (table-column-weights ptbl))
|
||||
(col-weights (table-column-weights ptbl)) ;; Also ideal widths
|
||||
;;(_ (print col-weights))
|
||||
(min-width (foldl + 0 min-widths))
|
||||
(max-width (foldl + 0 col-weights))
|
||||
;;(_ (print min-width))
|
||||
(width (if (and width-arg
|
||||
(> width-arg min-width))
|
||||
width-arg
|
||||
min-width))
|
||||
max-width))
|
||||
;;(_ (print width))
|
||||
(width-surplus (- width min-width))
|
||||
;;(_ (print width-surplus))
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue