when a tab is activated, focus the editing area
Merge pull request #451 from dart-lang/editor_focus

when a tab is activated, focus the editing area
change to use a hosted dep on polymer_elements
Fixed #454: Don't switch tab while replacing a given tab
Merge pull request #455 from dinhviethoa/454-fix-shift-selection

Fixed #454: Don't switch tab while replacing a given tab
Merge pull request #453 from dart-lang/polymer_elements

change to use a hosted dep on polymer_elements
Refresh folders when the focus is back on the app window
Remove dependencies on the unused polymer_elements
Merge pull request #460 from ussuri/fix-polymer-dependencies

Remove dependencies on the unused polymer_elements
Locked range of Polymer version

Couldn't get pub to download 0.9.2+4 for ide/ with 'polymer: any', even though it did so for widgets/.
Merge pull request #461 from ussuri/fix-polymer-dependencies

Locked range of Polymer version
Added file deletion feature to the mock file system. Added a unit test for Workspace.checkForChange()
Added TODOs and improved comments. checkForChange() -> refresh().
Merge pull request #458 from dinhviethoa/302-refresh-folders

Refresh workspace when the focus is back on the app window.
workspace changes to support sync files
addressed comments
Merge pull request #466 from dart-lang/ws

workspace changes to support sync files
Fixed the crash on initializing "#renameDialog" in Polymer UI

The reason was: Polymer didn't like identical element IDs for the file name input control ("#fileName") under two different dialogs, "#fileNewDialog" and "#renameDialog". dialog.querySelector("#fileName") returned the correct element for the former, but null for the latter. The same worked fine in non-Polymer version.
Merge pull request #470 from dart-lang/fix-polymer-crash-on-rename-file-dialog

Fixed the crash on initializing "#renameDialog" in Polymer UI
Fixed <spark-menu>

The <shadow> was somehow causing the element to crash: substituted <shadow> with <content>, which is nearly identical in the context, and it worked.