src/eric7/UI/UserInterface.py

branch
eric7
changeset 10837
40cdaa4a847d
parent 10828
fc1310995b98
child 10838
2989df16da36
--- a/src/eric7/UI/UserInterface.py	Tue Jul 09 17:20:18 2024 +0200
+++ b/src/eric7/UI/UserInterface.py	Tue Jul 09 18:09:27 2024 +0200
@@ -7945,6 +7945,8 @@
             fn = self.__checkCrashSessionExists()
             if fn:
                 res = self.__readSession(filename=fn)
+                if res and Preferences.getUI("DeleteLoadedCrashSession"):
+                    os.remove(fn)
 
         return res
 

eric ide

mercurial