I've been browsing around a bit, but haven't been able to find any plugins for changing the default theme editor. Currently it's a text area with no syntax highlighting. I'd like something that at least gives syntax highlighting. There are all sorts of plugins for the post editor, but I've yet to find one for the theme editor.
If all else fails, I'll make one myself, but I thought I would ask here before I did that.