ViewManager/ViewManager.py

changeset 335
5ad648828e2e
parent 253
3ccdf551bde7
child 365
0686ac00256e
child 516
1a57b04e3bd2
--- a/ViewManager/ViewManager.py	Wed Jun 09 17:45:51 2010 +0200
+++ b/ViewManager/ViewManager.py	Thu Jun 10 09:13:00 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:

eric ide

mercurial