fix a selection issue w/ non-expanded resources; fix selecting a newly created file
nit
review comments
Merge pull request #449 from dart-lang/files_selection

Files selection
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
Added dummy +/- for switching themes and key bindings to the Polymer menu

Not hooked up yet: the ones in the legacy non-Polymer menu still work.
Remove dependencies on the unused polymer_elements
Merge pull request #460 from ussuri/fix-polymer-dependencies

Remove dependencies on the unused polymer_elements
Merge branch 'upstream/master'