diff options
author | Chris Luke <chrisy@flirble.org> | 2016-05-14 10:13:34 -0400 |
---|---|---|
committer | Florin Coras <florin.coras@gmail.com> | 2016-05-16 21:37:00 +0000 |
commit | 862623da6eb3dfb211f5ed03ce063137d3f2242e (patch) | |
tree | 29b157792690407c37cb51ed7c726e0a7dcc1719 /extras/vagrant/WELCOME | |
parent | e7a40e86b1f7f2325ebcff1d2506ef6a81536955 (diff) |
VPP-23 Re-work pager line collationv16.09-rc0
To better handle lines longer than the terminal width, re-work how
the pager collates lines. We still store each output line in a vector
or lines; additionally we index the start and end of displayable lines.
The index then becomes the data to work out what to display.
If the terminal is resized this index is rebuilt and the current page
redisplayed and an attempt made to keep the current top-of-screen line
in place.
Change-Id: Icc6f4f72dabad89682cd82be88adb03eadb7811d
Signed-off-by: Chris Luke <chrisy@flirble.org>
Diffstat (limited to 'extras/vagrant/WELCOME')
0 files changed, 0 insertions, 0 deletions