mirror of
https://github.com/zyedidia/micro.git
synced 2026-02-06 07:00:24 +09:00
Remember the cursor location in TextEvent just once - when the original text event happens, so that when we redo after an undo, the cursor is placed at the location where the actual redone modification happens (as the user would expect), not at the location where the cursor was before the undo (which may be a completely unrelated location and may be far away). Fixes #3411