[BLUEJ-455] Editor: "Undo" does not return cursor to edit postion
In the editor, using the "undo" action doesn't return the cursor to the position where the undone edit occurred.
Issue metadata
- Issue type: Bug
- Priority: Low
In the editor, using the "undo" action doesn't return the cursor to the position where the undone edit occurred.
Issue metadata