Project/Project.py

changeset 335
5ad648828e2e
parent 331
0a5fc8298d32
child 337
22ae08988de7
--- a/Project/Project.py	Wed Jun 09 17:45:51 2010 +0200
+++ b/Project/Project.py	Thu Jun 10 09:13:00 2010 +0200
@@ -3873,8 +3873,9 @@
         Private method to synchronize the list of recently opened projects
         with the central store.
         """
-        if self.pfile in self.recent:
-            self.recent.remove(self.pfile)
+        for recent in self.recent[:]:
+            if Utilities.samepath(self.pfile, recent):
+                self.recent.remove(recent)
         self.recent.insert(0, self.pfile)
         maxRecent = Preferences.getProject("RecentNumber")
         if len(self.recent) > maxRecent:
@@ -3919,7 +3920,7 @@
         """
         Private method to clear the recent projects menu.
         """
-        self.recent.clear()
+        self.recent = []
         
     def __searchNewFiles(self):
         """

eric ide

mercurial