push
Merge remote-tracking branch 'origin/master' into git_push
Merge remote-tracking branch 'origin/master' into git_push
Move 'lint' step to grind.dart and include it in deployment sequence
fix polymer lint warning
close tab, and switch to previous and next tabs
Merge pull request #814 from ussuri/update-grind-and-build

Move 'lint' step to grind.dart and include it in deployment sequence
Merge pull request #815 from sunglim/lint_fix

fix polymer lint warning
changed keybindings
Merge branch 'master' into devoncarew_tab_actions
Merge pull request #817 from dart-lang/devoncarew_tab_actions

close tab, and switch to previous and next tabs
Remove git.js dart wrapper of git.
Remove js files of git.
Remove git.js references and tests.
Refactored editors and imageviewer (fixed #348)
Changed visual size of the close button on tabs
Added and styled dividers to tooltips (and setup annotations to handle multiple markers per line)
Styled with icons per line.  Fixed annotations with existing.
Icons don't work (reload when tooltip moves), so switched to styled text.
keybindings