Currently, if you call undo then whatever was selected becomes unselected. It would be better if the selection was preserved.
Currently, if you call undo then whatever was selected becomes unselected. It would be better if the selection was preserved.