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
I'm pretty sure it's due to the part where old_cursor is restored on moving up/down - perhaps old_cursor should switch to using display indices for more visual clarity
The text was updated successfully, but these errors were encountered:
I'm pretty sure it's due to the part where
old_cursor
is restored on moving up/down - perhaps old_cursor should switch to using display indices for more visual clarityThe text was updated successfully, but these errors were encountered: