Project/Project.py

changeset 4518
fd7d34bd1a88
parent 4303
57b5de82ce05
child 4541
e8ddd9d76414
--- a/Project/Project.py	Sat Oct 31 13:15:24 2015 +0100
+++ b/Project/Project.py	Fri Oct 30 18:01:42 2015 +0100
@@ -3258,7 +3258,10 @@
             if self.ppath and path == self.ppath:
                 return ""
             else:
-                return path[len(self.ppath) + 1:]
+                relpath = path[len(self.ppath):]
+                if relpath.startswith(("/", "\\")):
+                    relpath = relpath[1:]
+                return relpath
         else:
             return path
         

eric ide

mercurial