You are right. I can reproduce this unfortunate behavior. It is likely a misguess in the heuristic that guesses what edits have happened since the cursor moved the last time.
You are right. I can reproduce this unfortunate behavior. It is likely a misguess in the heuristic that guesses what edits have happened since the cursor moved the last time.