Have you tried the WP Editor plugin? I’m giving it a go now and looks promising.

Gives you ability to edit all files in the theme, code highlighting amongst others.