Until the theme editor improves - that is - line numbering, ajax saves, editing of files in sub-folders, the ability to create and remove files etc.. until it becomes a decent dev suite, then the theme editor won't be the code-editing method of choice for anyone who is proficient enough to develop themes. This seems like a waste of energy until the theme editing environment becomes more like an IDE.