5161 self.__loadRecent() |
5161 self.__loadRecent() |
5162 |
5162 |
5163 self.recentMenu.clear() |
5163 self.recentMenu.clear() |
5164 |
5164 |
5165 for idx, rs in enumerate(self.recent, start=1): |
5165 for idx, rs in enumerate(self.recent, start=1): |
5166 if idx < 10: |
5166 formatStr = '&{0:d}. {1}' if idx < 10 else '{0:d}. {1}' |
5167 formatStr = '&{0:d}. {1}' |
|
5168 else: |
|
5169 formatStr = '{0:d}. {1}' |
|
5170 act = self.recentMenu.addAction( |
5167 act = self.recentMenu.addAction( |
5171 formatStr.format( |
5168 formatStr.format( |
5172 idx, |
5169 idx, |
5173 Utilities.compactPath(rs, self.ui.maxMenuFilePathLen))) |
5170 Utilities.compactPath(rs, self.ui.maxMenuFilePathLen))) |
5174 act.setData(rs) |
5171 act.setData(rs) |
6301 |
6298 |
6302 # save the list of recently opened projects |
6299 # save the list of recently opened projects |
6303 Preferences.Prefs.settings.setValue( |
6300 Preferences.Prefs.settings.setValue( |
6304 'Bookmarked/Sources', self.bookmarked) |
6301 'Bookmarked/Sources', self.bookmarked) |
6305 |
6302 |
6306 if len(self.editors): |
6303 res = len(self.editors) == 0 |
6307 res = False |
|
6308 else: |
|
6309 res = True |
|
6310 |
6304 |
6311 if not res: |
6305 if not res: |
6312 e5App().focusChanged.connect(self.appFocusChanged) |
6306 e5App().focusChanged.connect(self.appFocusChanged) |
6313 |
6307 |
6314 return res |
6308 return res |