[Plugin: Editor Syntax Highlighter] Advanced Code Editor is much better

I’ve just discovered the Advanced Code Editor plugin.

Makes this one seem like a joke by comparison.

http://wordpress.org/extend/plugins/editor-syntax-highlighter/