| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java
|
| index 447f141c37e9c071ea57ea5d806d3d4d3288054a..c3e29d30a6316587b2ab105ec4645bc31fe4a391 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/dom/NodeFinder.java
|
| @@ -97,7 +97,7 @@ public class NodeFinder extends ASTVisitor<Void> {
|
| DartScanner scanner = new DartScanner(src);
|
| Token token = scanner.next();
|
| if (token != Token.EOS) {
|
| - int tStart = scanner.getTokenLocation().getBegin().getPos();
|
| + int tStart = scanner.getTokenLocation().getBegin();
|
| if (tStart == result.getSourceInfo().getOffset() - start) {
|
| int idx = tStart + result.getSourceInfo().getLength();
|
| String nsrc = src.substring(idx, idx + length - 1);
|
|
|