diff -r 67a811025fa7 -r 6bc76f2c80aa src/eric7/ViewManager/ViewManager.py
--- a/src/eric7/ViewManager/ViewManager.py Sat Nov 26 19:49:14 2022 +0100
+++ b/src/eric7/ViewManager/ViewManager.py Sun Nov 27 15:58:44 2022 +0100
@@ -7356,18 +7356,19 @@
If it cannot close all editor windows, it aborts the shutdown process.
- @return flag indicating success (boolean)
+ @return flag indicating success
+ @rtype bool
"""
with contextlib.suppress(TypeError):
ericApp().focusChanged.disconnect(self.appFocusChanged)
- self.closeAllWindows()
+ self.closeAllWindows(ignoreDirty=True)
self.currentEditor = None
- # save the list of recently opened projects
+ # save the list of recently opened files
self.__saveRecent()
- # save the list of recently opened projects
+ # save the list of bookmarked files
Preferences.getSettings().setValue("Bookmarked/Sources", self.bookmarked)
res = len(self.editors) == 0
