This is a follow up on this issue which was just resolved in 0.13.20
GIF showing bug in action
This is a complex issue and the current behavior is not technically “wrong”. I understand that other editors behave differently. I moved this to FR.
I see. Is there any other case that you would not consider a bug? I am asking because I am now seeing a behavior where, if you place your cursor at the end of a line and press the down key, it jumps one line.
Isn’t this your original bug that was fixed 0.13.20? If not, open another bug report for that specific issue.