For those of you who also use WordPress to edit their blogs, you might be interested in this plugin I created : Power Code Editor.
It helps to more effectively edit your themes or plugins when you only have access to a browser, by enabling syntax highlighting in WordPress’ integrated source code editors. Supports PHP, HTML, CSS and JavaScript.
Please provide any feedback at http://anetech.eu/power-code-editor/