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