You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Rio version: 0.2.7
Platform: Linux, x86_64, Xorg, Gnome
Reproduction:
set tabs to be visible on the bottom
open terminal
open new tab
print ls in first tab few times
print ls in second tab few times
Result:
First tab uses old window height (that changed after opening new tab on the bottom), leading to few pixels being truncated from the bottom. Second tab (and other new tabs) is already aware of changed height, and it works properly
Settings (sorry for that syntax, it's from Nix, but you get the idea; I did not debug that issue by trying to change settings like padding or font size):
Rio version: 0.2.7
Platform: Linux, x86_64, Xorg, Gnome
Reproduction:
Result:
First tab uses old window height (that changed after opening new tab on the bottom), leading to few pixels being truncated from the bottom. Second tab (and other new tabs) is already aware of changed height, and it works properly
Settings (sorry for that syntax, it's from Nix, but you get the idea; I did not debug that issue by trying to change settings like padding or font size):
The text was updated successfully, but these errors were encountered: