diff -r fcb6b4b96274 -r 78e6d29eb773 eric6/ViewManager/ViewManager.py
--- 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)
