Are there any Worpdress plugins to change the theme editor? in WordPress

@Jack Slingerland,

There are a few plugins that do this but the only one I that has been updated recently is Power Code Editor . At a recent WordCamp Matt mentioned that a new built in theme editor with a trash bin and revisions is on the road map but I havet heard it mentioned in any of the dev meetings.