add mouseLeaveDragging() behavior to the paint editor, thanks, Kartik!

All credit for fixing this goes to Kartik. This also seems to change
just about every line ending for reasons known only to Xcode. Sorry
Kartik, for not pulling your request because of those line endings,
they are inevitable!
Only shrink-wrap sprite costumes

thanks, Kartik, for this fix!