Mercurial Repositories > eric / file diff
diff: src/eric7/UI/UserInterface.py
src/eric7/UI/UserInterface.py
- branch
- eric7
- changeset 10837
- 40cdaa4a847d
- parent 10828
- fc1310995b98
- child 10838
- 2989df16da36
diff -r dc7f25f2f7e4 -r 40cdaa4a847d src/eric7/UI/UserInterface.py --- 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
