| 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 d213a397cbd2828e9dab0f210534677800957c49..447f141c37e9c071ea57ea5d806d3d4d3288054a 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
|
| @@ -224,13 +224,6 @@ public class NodeFinder extends ASTVisitor<Void> {
|
| enclosingMethod = method;
|
| enclosingField = field;
|
| enclosingClass = classDef;
|
| -// // use current node only if it has more specific source range
|
| -// if (fCoveringNode == null || areParentChild(fCoveringNode, node)
|
| -// || fCoveringNode.getSourceInfo().getOffset() > nodeStart
|
| -// || fCoveringNode.getSourceInfo().getEnd() > nodeEnd) {
|
| -// } else {
|
| -// System.out.println("zzzzzzzz: " + node);
|
| -// }
|
| }
|
| if (fStart <= nodeStart && nodeEnd <= fEnd) {
|
| if (fCoveringNode == node) {
|
|
|