fix a warning and add a question
change a todo
Merge pull request #207 from dart-lang/workspace-warning

fix a warning and add a question
address review comments
Merge branch 'master' into editor-switching2