diff -r 76a32e9f16b4 -r a9a0cb9c9d0c src/eric7/UI/UserInterface.py --- a/src/eric7/UI/UserInterface.py Thu Nov 02 11:26:51 2023 +0100 +++ b/src/eric7/UI/UserInterface.py Thu Nov 02 13:36:44 2023 +0100 @@ -8135,6 +8135,8 @@ self.__astViewer.hide() + self.shell.closeShell() + if not self.project.closeProject(shutdown=True): return False @@ -8158,8 +8160,6 @@ self.__astViewer.shutdown() - self.shell.closeShell() - self.__writeTasks() if self.templateViewer is not None: