ui tweaks; persist the theme setting between sessions
Merge branch 'master' into ui-tweaks
Merge branch 'master' into ui-tweaks
fix typo
Merge pull request #78 from dart-lang/ui-tweaks

ui tweaks; persist the theme setting between sessions