Oh my gosh! I think I love this!

I just discovered this plugin. I’ve told all my WP dev friends on FB. It looks utterly awesome. Perfect for editing a child theme. Can’t wait to dig in tomorrow!

http://wordpress.org/extend/plugins/advanced-code-editor/