Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authormspector2007-09-30 06:03:14 -0400
committermspector2007-09-30 06:03:14 -0400
commitb441cfa838ab2ba1f1e60abd141c8020c238a826 (patch)
tree409047d9dbf15f9c581094afb546d86df1942d9f
parent87f021422b4432fb83c5f49de66da24245f3ccce (diff)
downloadorg.eclipse.pdt-BRANCH_1_0_0_20070902.tar.gz
org.eclipse.pdt-BRANCH_1_0_0_20070902.tar.xz
org.eclipse.pdt-BRANCH_1_0_0_20070902.zip
try to search by IFile.getFullPath()BRANCH_1_0_0_20070902
-rw-r--r--plugins/org.eclipse.php.core/src/org/eclipse/php/internal/core/resources/ExternalFilesRegistry.java12
1 files changed, 11 insertions, 1 deletions
diff --git a/plugins/org.eclipse.php.core/src/org/eclipse/php/internal/core/resources/ExternalFilesRegistry.java b/plugins/org.eclipse.php.core/src/org/eclipse/php/internal/core/resources/ExternalFilesRegistry.java
index c6555b2d1..5bf40eac1 100644
--- a/plugins/org.eclipse.php.core/src/org/eclipse/php/internal/core/resources/ExternalFilesRegistry.java
+++ b/plugins/org.eclipse.php.core/src/org/eclipse/php/internal/core/resources/ExternalFilesRegistry.java
@@ -7,6 +7,7 @@ import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IProject;
import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.runtime.ListenerList;
+import org.eclipse.core.runtime.Path;
/**
* This class wraps a simple registry of files that are opened in the Editor
@@ -79,7 +80,16 @@ public class ExternalFilesRegistry {
* @return true/false
*/
public boolean isEntryExist(String localPath) {
- return externalFilesRegistry.containsKey(localPath);
+ if (externalFilesRegistry.containsKey(localPath)) {
+ return true;
+ }
+ IFile[] files = getAllAsIFiles();
+ for (int i = 0; i < files.length; ++i) {
+ if (files[i].getFullPath().equals(new Path(localPath))) {
+ return true;
+ }
+ }
+ return false;
}
/**

Back to the top