Prettify ignore syntax (#25685).

Prettify ignore syntax (#25685).

Prettifies ignore syntax (`//# ignore:` => `//ignore:`).

More context: https://github.com/dart-lang/sdk/issues/25685

BUG=
R=brianwilkerson@google.com, ianh@google.com

Committed: https://github.com/dart-lang/sdk/commit/51188b660192dad2bfed14d53a275639ba9ed8af

[pquitslund, 2016-02-26 18:06:54]

pquitslund@google.com changed reviewers:
+ brianwilkerson@google.com, ianh@google.com

[Hixie, 2016-02-26 18:09:49]

lgtm

https://codereview.chromium.org/1738203002/diff/1/pkg/analyzer/lib/src/task/d...
File pkg/analyzer/lib/src/task/dart.dart (right):

https://codereview.chromium.org/1738203002/diff/1/pkg/analyzer/lib/src/task/d...
pkg/analyzer/lib/src/task/dart.dart:2269: static const String
_normalizedIgnorePrefix = '//ignore:';
Can we have a space after the "//"?

[Hixie, 2016-02-26 18:10:25]

On 2016/02/26 at 18:09:49, Hixie wrote:
> lgtm
> 
>
https://codereview.chromium.org/1738203002/diff/1/pkg/analyzer/lib/src/task/d...
> File pkg/analyzer/lib/src/task/dart.dart (right):
> 
>
https://codereview.chromium.org/1738203002/diff/1/pkg/analyzer/lib/src/task/d...
> pkg/analyzer/lib/src/task/dart.dart:2269: static const String
_normalizedIgnorePrefix = '//ignore:';
> Can we have a space after the "//"?

Oh never mind, I see that the spaces are elided so this already works. Great!

[pquitslund, 2016-02-26 18:14:55]

https://codereview.chromium.org/1738203002/diff/1/pkg/analyzer/lib/src/task/d...
File pkg/analyzer/lib/src/task/dart.dart (right):

https://codereview.chromium.org/1738203002/diff/1/pkg/analyzer/lib/src/task/d...
pkg/analyzer/lib/src/task/dart.dart:2269: static const String
_normalizedIgnorePrefix = '//ignore:';
On 2016/02/26 18:09:48, Hixie wrote:
> Can we have a space after the "//"?

Yep.  Any number of spaces.  We remove them before the check.

[pquitslund, 2016-02-26 18:15:58]

On 2016/02/26 18:10:25, Hixie wrote:
> On 2016/02/26 at 18:09:49, Hixie wrote:
> > lgtm
> > 
> >
>
https://codereview.chromium.org/1738203002/diff/1/pkg/analyzer/lib/src/task/d...
> > File pkg/analyzer/lib/src/task/dart.dart (right):
> > 
> >
>
https://codereview.chromium.org/1738203002/diff/1/pkg/analyzer/lib/src/task/d...
> > pkg/analyzer/lib/src/task/dart.dart:2269: static const String
> _normalizedIgnorePrefix = '//ignore:';
> > Can we have a space after the "//"?
> 
> Oh never mind, I see that the spaces are elided so this already works. Great!

:)

[Brian Wilkerson, 2016-02-26 18:20:10]

LGTM

[pquitslund, 2016-02-26 18:21:08]

Description was changed from

==========
Prettify ignore syntax (#25685).

Prettifies ignore syntax (`//# ignore:` => `//ignore:`).

More context: https://github.com/dart-lang/sdk/issues/25685

BUG=
==========

to

==========
Prettify ignore syntax (#25685).

Prettifies ignore syntax (`//# ignore:` => `//ignore:`).

More context: https://github.com/dart-lang/sdk/issues/25685

BUG=
R=brianwilkerson@google.com, ianh@google.com

Committed:
https://github.com/dart-lang/sdk/commit/51188b660192dad2bfed14d53a275639ba9ed8af
==========

[pquitslund, 2016-02-26 18:21:09]

Committed patchset #1 (id:1) manually as
51188b660192dad2bfed14d53a275639ba9ed8af (presubmit successful).