After the last paste-heavy post, I finally got around to doing something about wordpress’s formatting of code blocks. This site was very helpful:
So, edit the file wp-includes/js/tinymce/plugins/wordpress/editor_plugin.js.
Comment out the section that replaces pre content:
/* var startPos = -1; while ((startPos = content.indexOf('', startPos+1); var innerPos = content.indexOf('>', startPos+1); var chunkBefore = content.substring(0, innerPos); var chunkAfter = content.substring(endPos); var innards = content.substring(innerPos, endPos); innards = innards.replace(/\n/g, ' '); content = chunkBefore + innards + chunkAfter; }*/
Then I had to update my CSS so that pre used the same class as code and then change my posts over to use pre instead of code.
Next step is to fix code too so that I don’t have to think about it.
It does seem to have the side-effect of not automatically handling the escaping of < and > symbols outside those tags though, which for this post where I started with <code> and <pre> instead of code and pre, made things a bit of a mess.