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

Michael Foord fuzzyman at voidspace.org.uk
Tue Dec 29 06:09:25 MST 2009


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



More information about the wingide-users mailing list