src/eric7/ViewManager/ViewManager.py

branch
eric7
changeset 9540
6bc76f2c80aa
parent 9482
a2bc06a54d9d
child 9573
9960d19d66b5
equal deleted inserted replaced
9539:67a811025fa7 9540:6bc76f2c80aa
7354 """ 7354 """
7355 Public method to shutdown the viewmanager. 7355 Public method to shutdown the viewmanager.
7356 7356
7357 If it cannot close all editor windows, it aborts the shutdown process. 7357 If it cannot close all editor windows, it aborts the shutdown process.
7358 7358
7359 @return flag indicating success (boolean) 7359 @return flag indicating success
7360 @rtype bool
7360 """ 7361 """
7361 with contextlib.suppress(TypeError): 7362 with contextlib.suppress(TypeError):
7362 ericApp().focusChanged.disconnect(self.appFocusChanged) 7363 ericApp().focusChanged.disconnect(self.appFocusChanged)
7363 7364
7364 self.closeAllWindows() 7365 self.closeAllWindows(ignoreDirty=True)
7365 self.currentEditor = None 7366 self.currentEditor = None
7366 7367
7367 # save the list of recently opened projects 7368 # save the list of recently opened files
7368 self.__saveRecent() 7369 self.__saveRecent()
7369 7370
7370 # save the list of recently opened projects 7371 # save the list of bookmarked files
7371 Preferences.getSettings().setValue("Bookmarked/Sources", self.bookmarked) 7372 Preferences.getSettings().setValue("Bookmarked/Sources", self.bookmarked)
7372 7373
7373 res = len(self.editors) == 0 7374 res = len(self.editors) == 0
7374 7375
7375 if not res: 7376 if not res:

eric ide

mercurial