penguinolog / urwid / 39387706417

90%

master: 92%

push

github

Render ScrollBar with no rows at a size of no rows

ScrollBar.render((cols, 0)) raised WidgetError whenever the scrollbar
was drawn, because the thumb kept at least one row.

- The thumb is at most as tall as the trough, so it has no rows when
  there are none.
- A scrollbar column with no rows is a blank canvas of its width, since
  combining no rows loses the width.

(cherry picked from commit 92a951fcd)

5259 of 6022 branches covered (87.33%)

Branch coverage included in aggregate %.

4 of 4 new or added lines in 1 file covered. (100.0%)

13253 of 14502 relevant lines covered (91.39%)

14.4 hits per line