Chromium Code Reviews| Index: pkg/third_party/html5lib/lib/src/inputstream.dart |
| diff --git a/pkg/third_party/html5lib/lib/src/inputstream.dart b/pkg/third_party/html5lib/lib/src/inputstream.dart |
| index 5686abf755598336e8dc4d2898ccdbebc0ff1013..7426793ef6b1fe980a0fb856d50b5433be61ddf2 100644 |
| --- a/pkg/third_party/html5lib/lib/src/inputstream.dart |
| +++ b/pkg/third_party/html5lib/lib/src/inputstream.dart |
| @@ -2,7 +2,7 @@ library inputstream; |
| import 'dart:collection'; |
| import 'package:utf/utf.dart'; |
| -import 'package:source_maps/span.dart' show SourceFile; |
| +import 'package:source_span/source_span.dart'; |
| import 'char_encodings.dart'; |
| import 'constants.dart'; |
| import 'utils.dart'; |
| @@ -135,8 +135,7 @@ class HtmlInputStream { |
| // Free decoded characters if they aren't needed anymore. |
| if (_rawBytes != null) _rawChars = null; |
| - fileInfo = new SourceFile(sourceUrl, _lineStarts, |
| - generateSpans ? _chars : null); |
| + fileInfo = new SourceFile.decoded(_chars, url: sourceUrl); |
|
Siggi Cherem (dart-lang)
2014/07/29 20:56:32
could we do this maybe only when generateSpans is
nweiz
2014/07/29 21:13:17
Done.
nweiz
2014/07/30 00:25:53
It turns out this made a test fail, so I changed i
|
| } |