There’s this strange, and quite annoying, behavior of the terminal, when you try clearing it (e.g., by hitting Ctrl + L), sometimes remnants of a line (or even a whole line) still appears up top. As shown, this can be reproduced by resizing then clearing:
Been trying to figure out the cause, and possibly fix and PR the core to save you time and efforts, but it’s taking me quite some time as, unfortunately, I’m not yet much familiar with the terminal plugin, and most code there doesn’t appear to be particularly well-documented.
Any idea what might be the cause? Still willing to try fixing, so would be great if you even just point me where to look!
Thanks in advance!