[wingide-users] Undo after paste doesn't restore selection

[Michael Foord]

Hello guys,

Sometimes I accidentally paste when I meant to copy. Luckily undo 
restores the text, but it doesn't restore the selection so I have to 
re-select. Some editors restore selection on undo which can be very handy.

All the best,

Michael Foord

-- 
http://www.ironpythoninaction.com/
http://www.voidspace.org.uk/blog