| 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) {
|
|
|