push
Merge remote-tracking branch 'origin/master' into git_push
Merge remote-tracking branch 'origin/master' into git_push
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.
fix some checked mode exceptions
more checked mode fixes
Merge pull request #829 from dart-lang/devoncarew_checked_mode

fix some checked mode exceptions
removed comment
Merge pull request #822 from dinhviethoa/348-imageviewer-refactoring

Refactored editors and imageviewer (fixed #348)
Review changes
Merge pull request #830 from umop/umop-markers-multiple_marker_tooltips

Multiple marker per tooltip / marker
hide run-tests menu if not in developer mode
Merge pull request #844 from sunglim/hide_menu

Hide run-tests menu if not in developer mode