Add progress component to Git push dialog.
Update git push dialog with progress.
Update button names.
Merge branch 'master' into git_push_dialog
Remove cached reference of project in scmManager.
Merge pull request #2095 from ussuri/move-menu-back-to-spark_polymer_ui

Fix: F10 didn't focus main menu
Add a todo.
Merge pull request #2080 from dart-lang/meta_data

Remove cached reference of project in scmManager.
addressed comments.
Merge pull request #2075 from dart-lang/push_dialog

Make push dialog persistent.
Merge pull request #2096 from ussuri/move-menu-back-to-spark_polymer_ui

Finally fix for good the menu button not opening/closing the menu reliably
Sort out tabbing order in the app

One thing that didn't work is completely preventing the editor from receiving the focus while tabbing through the elements of the UI. Set the top-level container's tabindex to -1, but the contained Ace's elements don't have tabindex set, so after making a round over search box, Run, menu, Back, Forward and file tree view, the editor still receives the focus.
EOL at EOF
Merge pull request #2097 from ussuri/sort-out-tabbing-order

Sort out the tabbing order in the UI
Follow-up to sorting out the tabbing order
Merge pull request #2098 from ussuri/sort-out-tabbing-order

Follow-up to sorting out the tabbing order
Missed a few changes
Merge pull request #2104 from ussuri/enabled-disabled-for-spark-button

Missed a few changes
Minor fix
Merge pull request #2105 from ussuri/sort-out-tabbing-order

Minor fix