src/eric7/Preferences/__init__.py

branch
eric7
changeset 10837
40cdaa4a847d
parent 10832
479cf39ac9cb
child 10849
78d338b6d89f
--- 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",

eric ide

mercurial