[wingide-users] Undo after paste doesn't restore selection
fuzzyman at voidspace.org.uk
Tue Dec 29 06:09:25 MST 2009
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,
More information about the wingide-users