Mercurial Repositories > eric / file diff

diff -r dc0fc1180a1e -r e48be003c73b ViewManager/ViewManager.py
--- a/ViewManager/ViewManager.py	Wed Jun 09 17:47:05 2010 +0200
+++ b/ViewManager/ViewManager.py	Thu Jun 10 09:14:43 2010 +0200
@@ -3220,8 +3220,9 @@
         
         @param fn name of the file to be added
         """
-        if fn in self.recent:
-            self.recent.remove(fn)
+        for recent in self.recent[:]:
+            if Utilities.samepath(fn, recent):
+                self.recent.remove(recent)
         self.recent.insert(0, fn)
         maxRecent = Preferences.getUI("RecentNumber")
         if len(self.recent) > maxRecent: