2015-04-23 Better error messages in theme editor We now show more helpful error messages when there is an error while editing a theme.