--- a/eric6/ViewManager/ViewManager.py Tue Apr 13 18:02:59 2021 +0200 +++ b/eric6/ViewManager/ViewManager.py Tue Apr 13 19:59:17 2021 +0200 @@ -5163,10 +5163,7 @@ self.recentMenu.clear() for idx, rs in enumerate(self.recent, start=1): - if idx < 10: - formatStr = '&{0:d}. {1}' - else: - formatStr = '{0:d}. {1}' + formatStr = '&{0:d}. {1}' if idx < 10 else '{0:d}. {1}' act = self.recentMenu.addAction( formatStr.format( idx, @@ -6303,10 +6300,7 @@ Preferences.Prefs.settings.setValue( 'Bookmarked/Sources', self.bookmarked) - if len(self.editors): - res = False - else: - res = True + res = len(self.editors) == 0 if not res: e5App().focusChanged.connect(self.appFocusChanged)