UPDATE: 2014.1 - Now whatever theme page you are on will show in the actions menu in the themes section

Now whatever theme page you are on will show in the Actions menu in the Themes section.

Clicking the page name will open the theme editor in a new tab for that page.

3 shortcuts are provided for HTML Editor, Settings, and Widgets (these open as overlays without leaving the front end.