penguinolog / urwid / 41030506078

91%

master: 92%

Build Type

push

github

Committed by penguinolog

Commit Message

Report one focus move when ListBox completes set_focus

ListBox.set_focus() moves the body's focus at once and places it on the next render.
That render moved the body's focus back to the old position and forward again to measure the layout,
so walker callbacks and "modified" handlers saw new, old, new for one move.

- The layout is now measured around the old position without moving the body's focus.
- The old position is reached through get_prev()/get_next(); a body that lost it or rejects it
  places the new focus by coming_from, as before.
- The preferred cursor column is still taken from the old focus widget.

Coverage Stats

5737 of 6476 branches covered (88.59%)

Branch coverage included in aggregate %.

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

1 existing line in 1 file now uncovered.

14312 of 15506 relevant lines covered (92.3%)

17.19 hits per line