Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/source/WorkspaceSourceContainer.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/source/WorkspaceSourceContainer.java b/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/source/WorkspaceSourceContainer.java |
index 855600fee1333c7b895f8433bccea5400891113a..29543885d3c421a959d12f565b4bf36a152f0be2 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/source/WorkspaceSourceContainer.java |
+++ b/editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/source/WorkspaceSourceContainer.java |
@@ -50,24 +50,21 @@ public class WorkspaceSourceContainer extends AbstractSourceContainer { |
if (path == null) { |
return null; |
} |
+ File file = new File(path); |
// Look for a resource reference (/project/directory/file.dart). |
- IResource resource = ResourcesPlugin.getWorkspace().getRoot().findMember(path); |
- |
+ IResource resource = ResourceUtil.getResource(file); |
if (resource != null) { |
return resource; |
} |
// Look for something which could potentially resolve to a resource in the workspace. |
resource = findPotentialWorkspaceMatch(path); |
- |
if (resource != null) { |
return resource; |
} |
// Look for a file system reference. |
- File file = new File(path); |
- |
if (file.exists() && !file.isDirectory()) { |
IFile[] files = ResourcesPlugin.getWorkspace().getRoot().findFilesForLocationURI(file.toURI()); |