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
Fixes: #317
It turned out there were two really. One related to how many characters
were added for the arrowheads in the gutter, and one where the gutter
was extended to a number of characters, including ansi escape codes.
However, because ansi escape codes are rather big, there would never be
any extension since the system thought the string was already long
enough, even though you don't actually see the width of those codes.
While using miette, I found a small but significant rendering bug in rendering arrows. The picture below shows what it looks like:
![image](https://private-user-images.githubusercontent.com/22172241/281546691-c5c9ef87-80f8-4537-b74c-dcd5e80c3d26.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MjExMjk2NjQsIm5iZiI6MTcyMTEyOTM2NCwicGF0aCI6Ii8yMjE3MjI0MS8yODE1NDY2OTEtYzVjOWVmODctODBmOC00NTM3LWI3NGMtZGNkNWU4MGMzZDI2LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDA3MTYlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQwNzE2VDExMjkyNFomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWRmMTkxYjhhNTBmZWVjMDc3MzY5YzhhOTdiNjA4Mzg2ZjM3ZmY0ZjA0YzhiMzU5MDY4ZDBiZjZhZTVjMzFiNjcmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0JmFjdG9yX2lkPTAma2V5X2lkPTAmcmVwb19pZD0wIn0.sNjLs75Gt62a_BB8xwdUF00scDTuD_F-bnmUrTvAx_k)
Of course, I can't just give you just that image to go on, so I made a minimal example:
This prints:
while I expected it to print:
As you can see, this looks a bit like a test, which is exactly what I wrote and contributed as a pull request so the bug is reproducible. See #316.
The text was updated successfully, but these errors were encountered: