Hi Gabriel,
On 4/2/21 7:07 PM, Gabriel Ivăncescu wrote:
Remember the fact we completed the entire line but normalize the cursor otherwise. A newline is delayed so it wraps when writing a new character if the cursor is outside the width.
This can happen in practice when writing one character at a time to the console; right now it will keep overwriting the last character on the line.
I experimented a bit with your patches and think that we can just emit fewer '\b's. What do you think about something like the attached version?
Thanks, Jacek