dart-lang/chromedeveditor — pull request #3251 by ussuri (2014-08-25 06:08:02+00:00)
Title: Fix bugs in theme selection

TBR: minor and obvious fixes