@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 have not heard it mentioned in any of the dev meetings.