Skip to content
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

Improve status bar drawing mechanism (fixes #939) #969

Merged
merged 4 commits into from
Apr 22, 2024

Conversation

gnodet
Copy link
Member

@gnodet gnodet commented Apr 19, 2024

This is an attempt to improve the situation for #939.

Correctly supporting resize is hard, and with the status bar, even harder.
The reason is that resizing seems quite well supported with the display heuristic. Such a heuristic is required because the terminal is completely messed up when resizing. It's getting worse with the status bar because this causes the terminal to scroll up when the width is reduced.

@gnodet gnodet requested a review from mattirn April 21, 2024 05:54
@gnodet gnodet changed the title Improve status bar drawing mechanism Improve status bar drawing mechanism (fixes #939) Apr 22, 2024
@gnodet gnodet merged commit 0028516 into jline:master Apr 22, 2024
4 checks passed
@gnodet gnodet added this to the 3.26.0 milestone Apr 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant