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
Hey folks, if I get it correctly, #87 should fix gluing, but not this (ordering of lines) issue - it's a different one. As far as I recall, it's still reproducible even after fixing gluing, sorry.
Steps to reproduce:
Expected output (as long as #87 is not merged):
Examples of actual output (which differ from case to case):
Notes
What's interesting, is that if the number of lines is not that big, it is not reproducible:
The text was updated successfully, but these errors were encountered: