Support hide annotations in diff_view.

Support hide annotations in diff_view.

R=asgerf@google.com

Committed: https://github.com/dart-lang/sdk/commit/40302e2933a0748ffc6eab24a1cef57724d3dacc

[Johnni Winther, 2016-01-28 14:44:53]

johnniwinther@google.com changed reviewers:
+ asgerf@google.com

[asgerf, 2016-01-28 14:47:42]

lgtm

https://codereview.chromium.org/1648663002/diff/1/tests/compiler/dart2js/sour...
File tests/compiler/dart2js/sourcemaps/diff_view.dart (right):

https://codereview.chromium.org/1648663002/diff/1/tests/compiler/dart2js/sour...
tests/compiler/dart2js/sourcemaps/diff_view.dart:68: options1, filename,
addAnnotations: showAnnotations);
Why not pick one name and stick with it.

[Johnni Winther, 2016-01-28 14:51:00]

Description was changed from

==========
Support hide annotations in diff_view.
==========

to

==========
Support hide annotations in diff_view.

R=asgerf@google.com

Committed:
https://github.com/dart-lang/sdk/commit/40302e2933a0748ffc6eab24a1cef57724d3dacc
==========

[Johnni Winther, 2016-01-28 14:51:02]

Committed patchset #1 (id:1) manually as
40302e2933a0748ffc6eab24a1cef57724d3dacc (presubmit successful).

[Johnni Winther, 2016-01-28 14:51:25]

https://codereview.chromium.org/1648663002/diff/1/tests/compiler/dart2js/sour...
File tests/compiler/dart2js/sourcemaps/diff_view.dart (right):

https://codereview.chromium.org/1648663002/diff/1/tests/compiler/dart2js/sour...
tests/compiler/dart2js/sourcemaps/diff_view.dart:68: options1, filename,
addAnnotations: showAnnotations);
On 2016/01/28 14:47:42, asgerf wrote:
> Why not pick one name and stick with it.

Done.