[CLOSED] Update themes-settings.html and strings.js

[core-ai-bot]

Issue by Denisov21
Monday Aug 11, 2014 at 09:55 GMT
Originally opened as adobe/brackets#8715

---

Fix #8712 (part 1 of 2)

---

Denisov21 included the following code: https://github.com/adobe/brackets/pull/8715/commits