various ux tweaks
Merge branch 'master' into ux-tweaks
review comments
Merge pull request #237 from dart-lang/ux-tweaks

various ux tweaks