Undo misplaces the caret/cursor

[Mateusz]

Hello,

Undo/Redo is not playing nice with the caret/cursor position (Undos/Redos at the end of a GIF, after placing an extra s):

I think Undo/Redo should leave the caret/cursor at the position it was before Undo/Redo was called for.

Regards
Mateusz

[Robert Rees]

This is due to our use of a time-based undo, effectively the whole local change is being undone, which is probably right in the majority of cases. Not sure what to do about it right now.

[Mateusz]

Thanks! Closing, if that’s what’s expected...