-
Christian Hergert authored
This isn't perfect, because we don't place the cursor on the exact location due to how cursor saving is done. We might be able to fix that by using a new mark, but we need to see if that messes anything else up in the process. Fixes #1019
b983e137