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: |