Index: editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/BufferedDocumentScanner.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/BufferedDocumentScanner.java (revision 2468) |
+++ editor/tools/plugins/com.google.dart.tools.ui/src/com/google/dart/tools/ui/internal/text/functions/BufferedDocumentScanner.java (working copy) |
@@ -99,8 +99,9 @@ |
if (end == fDocument.getLength() || end == fRangeOffset + fRangeLength) { |
return EOF; |
} else { |
- updateBuffer(fBufferOffset + fBufferLength); |
+ updateBuffer(fBufferOffset + fOffset); |
fOffset = 0; |
+ targetOffset = distance; |
} |
} |
if (targetOffset < fBufferLength) { |