eric6/ViewManager/ViewManager.py

changeset 8235
78e6d29eb773
parent 8227
349308e84eeb
child 8243
cc717c2ae956
equal deleted inserted replaced
8234:fcb6b4b96274 8235:78e6d29eb773
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

eric ide

mercurial