Project/Project.py

branch
5_2_x
changeset 1573
a9923eff0e32
parent 1509
c0b5e693b0eb
child 1571
0db59c82f096
diff -r 86af50c0061b -r a9923eff0e32 Project/Project.py
--- a/Project/Project.py	Sat Jan 21 16:11:22 2012 +0100
+++ b/Project/Project.py	Sat Jan 21 16:44:21 2012 +0100
@@ -2837,6 +2837,19 @@
             for entry in self.pdata["OTHERS"]:
                 if newfn.startswith(entry):
                     return True
+        
+        if Utilities.isWindowsPlatform():
+            # try the above case-insensitive
+            newfn = newfn.lower()
+            for group in ["SOURCES", "FORMS", "INTERFACES",
+                          "RESOURCES", "TRANSLATIONS", "OTHERS"]:
+                for entry in self.pdata[group]:
+                    if entry.lower() == newfn:
+                        return True
+            for entry in self.pdata["OTHERS"]:
+                if newfn.startswith(entry.lower()):
+                    return True
+        
         return False
         
     def isProjectSource(self, fn):

eric ide

mercurial