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
When moving from a long line to a shorter line in the REPL using the up/down arrow keys, the previous contents of the line aren't properly cleared. This is a recent regression in 0.8.0, as I modified the readline logic to be "smarter" and not clear the whole line every time (to not mangle existing graphical output, if any).
The text was updated successfully, but these errors were encountered:
Forgot to mention that this only happens when the cursor is not at the end of the line (i.e. it's in the middle of the long line), which is why the current tests didn't catch the problem.
The old logic to clear the previous line assumed that the cursor was at the
end of the line that had to be cleared, which means we left characters behind
when the cursor was not at the end. Fix that now and add a test.
Fixes#148.
The old logic to clear the previous line assumed that the cursor was at the
end of the line that had to be cleared, which means we left characters behind
when the cursor was not at the end. Fix that now and add a test.
Fixes#148.
When moving from a long line to a shorter line in the REPL using the up/down arrow keys, the previous contents of the line aren't properly cleared. This is a recent regression in 0.8.0, as I modified the readline logic to be "smarter" and not clear the whole line every time (to not mangle existing graphical output, if any).
The text was updated successfully, but these errors were encountered: