eric7/ViewManager/ViewManager.py

branch
eric7
changeset 8637
394377638256
parent 8632
f25cd4b94eb0
child 8701
9a7ef33a4534
equal deleted inserted replaced
8636:c0a3a6e40815 8637:394377638256
126 126
127 self.recent = [] 127 self.recent = []
128 self.__loadRecent() 128 self.__loadRecent()
129 129
130 self.bookmarked = [] 130 self.bookmarked = []
131 bs = Preferences.Prefs.settings.value("Bookmarked/Sources") 131 bs = Preferences.getSettings().value("Bookmarked/Sources")
132 if bs is not None: 132 if bs is not None:
133 self.bookmarked = bs 133 self.bookmarked = bs
134 134
135 # initialize the autosave timer 135 # initialize the autosave timer
136 self.autosaveInterval = Preferences.getEditor("AutosaveInterval") 136 self.autosaveInterval = Preferences.getEditor("AutosaveInterval")
6320 6320
6321 # save the list of recently opened projects 6321 # save the list of recently opened projects
6322 self.__saveRecent() 6322 self.__saveRecent()
6323 6323
6324 # save the list of recently opened projects 6324 # save the list of recently opened projects
6325 Preferences.Prefs.settings.setValue( 6325 Preferences.getSettings().setValue(
6326 'Bookmarked/Sources', self.bookmarked) 6326 'Bookmarked/Sources', self.bookmarked)
6327 6327
6328 res = len(self.editors) == 0 6328 res = len(self.editors) == 0
6329 6329
6330 if not res: 6330 if not res:

eric ide

mercurial