-
Notifications
You must be signed in to change notification settings - Fork 73
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
handle title padding with hidden borders #351
Conversation
Unable to test due to #349 |
Still unable to test even with rustup:
|
oh right, I forgot. Make another branch w/o the upgrade change in https://github.com/aome510/spotify-player/tree/test-331. Can you check out that instead? |
If this is the case it does not resolve my issue, which is the padding being present. Is it not possible to have a simple condition for if it is on the bottom..? |
Just to clarify, you're talking about the top padding right. There are two lines separating the playback windows and the above window and you probably want to reduce the top padding to be 1 line instead. This is not possible to implement w/o hacking because all windows are assumed to have all paddings to represent borders. |
Of course, it's possible to add conditions when the playback is in bottom and specify the paddings for the playback window accordingly. I don't want to do so because that will require to "patch" the code and make it more complicated and harder to reason about. |
Quite baffled by this because the TUI library itself should be the one calculating the paddings, and seeing it is on the bottom with no border, it shouldn't render a padding to begin with. |
The TUI library will not render any paddings if border is set to |
This patch aligns the title with the inner text when in
Hidden
border mode.