WordPress › Advanced Code Editor « WordPress Plugins.
I just started to use this plugin and I must say, very nice. It really helps to have the syntax colorized, and line numbers. It really helps when all you have is your web browser to edit your wordpress code. Which is my situation 99% of the time.
The BEST reseller hosting for busy web designers
