diff -r fd4e4c1d0852 -r 5ad648828e2e ViewManager/ViewManager.py
--- 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:
