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
From Discord. A user is seeing the last line of command output get cut off. More of the line is cut off as more lines are displayed (gets worse as the number of lines of output increases).
Need to debug why there is a mismatch between the actual size of the terminal and the calculated size of the terminal.
Could this be related to pixel rounding? Zoom level? Font sizes (descenders)? Screen resolutions (native screen zooming).
The text was updated successfully, but these errors were encountered:
ah, it is a timing issue. if we try to calculate the font metrics before the JetBrains Mono font is loaded we get font metrics for the default "monospace" font. That font has a different size (smaller). So we calculate the size of the terminal divs to be too small consistently. We don't actually see the monospace font because by the time the terminals render the font has loaded.
From Discord. A user is seeing the last line of command output get cut off. More of the line is cut off as more lines are displayed (gets worse as the number of lines of output increases).
Need to debug why there is a mismatch between the actual size of the terminal and the calculated size of the terminal.
Could this be related to pixel rounding? Zoom level? Font sizes (descenders)? Screen resolutions (native screen zooming).
The text was updated successfully, but these errors were encountered: