--- a/src/eric7/Preferences/__init__.py Tue Jul 09 17:20:18 2024 +0200 +++ b/src/eric7/Preferences/__init__.py Tue Jul 09 18:09:27 2024 +0200 @@ -234,6 +234,7 @@ # 4 = last global session "OpenCrashSessionOnStartup": True, "CrashSessionEnabled": True, + "DeleteLoadedCrashSession": True, "UpgraderDelay": 5, "DownloadPath": "", "RequestDownloadFilename": True, @@ -2249,6 +2250,7 @@ "RequestDownloadFilename", "CheckErrorLog", "OpenCrashSessionOnStartup", + "DeleteLoadedCrashSession", "CrashSessionEnabled", "ShowCodeDocumentationViewer", "ShowPyPIPackageManager",