If your editor messes up indentation when copy-pasting, you need a better editor.
You paste code in more places than just your editor.
alt Hacker News
You paste code in more places than just your editor.