-
Notifications
You must be signed in to change notification settings - Fork 180
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix scrolling issues #247
Fix scrolling issues #247
Conversation
@dlax : this is far from finished but to you see a problem with how I handled scrolling ? |
I'd suggest to only fix one problem per PR; i.e. avoid header refresh in interactive mode. |
thx for the input. will do when it's no longer "experimental" |
1326ef5
to
a90a520
Compare
The refresh while pause thing was pushed in #248. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The approach looks good overall.
It might be worth covering this in test_views.txt
.
Will add / fix tests later. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for the tests, these look good.
Still a formatting issue, see CI "lint" job.
Then please squash this all, and I'll give a final look.
Also, if you could write a more informative commit message than "Handle scrolling", that'd be great! |
6270d09
to
e67cf4c
Compare
e67cf4c
to
e07ce46
Compare
When the line count overflows outside the screen, we can now properly scroll down. If the focus reaches 4/5 of the available lines on screen, the first line is removed and we display a new line at the bottom. When we reach the last line, pressing down will focus on the fist line again. Likewise, if the up key is pressed when the focus is on the first line, we focus on the last one.
e07ce46
to
3d5d172
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Excellent, thanks!
The PR aims to solve some problems related to scrolling (#239)