pager: extend LineState with header/separator/blank, update filteredLines, add runMan with section navigation
$ koh steal kepr.uk/koh@b70609ce276c
·
parent: 627a259f487b
parent: 627a259f487b
discussion
log in to leave a comment.