penguinolog / urwid / 42598768176

94%

Build Type

push

github

Committed by web-flow

Commit Message

Add Table footer and header/footer drop thresholds (#1609)

A table can show a row below its body, such as totals or a summary, and a
box size that does not fit can give the body room by dropping either edge.

- Table(footer=..., footer_attr=...) and the Table.footer property take cells,
  a TableRow of table.layout, or None; the footer shares the column widths
  and never takes the focus or a click.
- header_drop/footer_drop drop a part while keeping it leaves the body fewer
  rows than the threshold; the larger threshold goes first, then the footer.
- Nothing is dropped while all rows fit, and flow sizes keep both parts.
- The tour's table shows a totals footer.

Coverage Stats

6840 of 7498 branches covered (91.22%)

Branch coverage included in aggregate %.

86 of 87 new or added lines in 1 file covered. (98.85%)

1 existing line in 1 file now uncovered.

17588 of 18614 relevant lines covered (94.49%)

14.97 hits per line