Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/ResourceUtil.java |
diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/ResourceUtil.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/ResourceUtil.java |
index 680fb6592e139f73d61f5c58224f1c56e61ea561..205138c15b499d0701af1351c7bab1e598767e62 100644 |
--- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/ResourceUtil.java |
+++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/ResourceUtil.java |
@@ -116,7 +116,16 @@ public class ResourceUtil { |
if (file == null) { |
return null; |
} |
- return getResource(getCanonicalUri(file)); |
+ if (file.isDirectory()) { |
+ return getResource(getCanonicalUri(file)); |
+ } else { |
+ IWorkspaceRoot workspaceRoot = ResourcesPlugin.getWorkspace().getRoot(); |
+ IFile[] files = workspaceRoot.findFilesForLocationURI(file.toURI()); |
+ if (files.length == 0) { |
+ return null; |
+ } |
+ return files[0]; |
+ } |
} |
/** |