Project/Project.py

branch
5_0_x
changeset 336
e48be003c73b
parent 332
37619c8d6f0f
child 337
22ae08988de7
--- a/Project/Project.py	Wed Jun 09 17:47:05 2010 +0200
+++ b/Project/Project.py	Thu Jun 10 09:14:43 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