--- a/src/eric7/ViewManager/ViewManager.py Fri Oct 18 19:14:59 2024 +0200 +++ b/src/eric7/ViewManager/ViewManager.py Fri Oct 18 19:15:16 2024 +0200 @@ -131,7 +131,6 @@ self.editorsCheckFocusIn = True self.recent = [] - ##self.__loadRecent() self.bookmarked = [] bs = Preferences.getSettings().value("Bookmarked/Sources")