implement open project
merge master
Merge branch 'master' into work2
changed library prefix
addressed comments
decrease the flush interval for local prefs
added recursive add/remove methods
css tweaks to the new tab view
resolve merge conflicts
Implemented TreeView selection setter (fixed #235)
Merge pull request #236 from dinhviethoa/235-treeview-selection

Implemented TreeView selection setter (fixed #235)
resolve merge
merge master
Merge pull request #230 from dart-lang/flush-interval

decrease the flush interval for local prefs
Merge pull request #228 from dart-lang/openProject

impelement "Open project"
various ux tweaks
Merge pull request #233 from dart-lang/tab-tweaks

css tweaks to the new tab view
Merge branch 'master' into ux-tweaks
Remove an 1px border of tab label
review comments