diff -r 2eee7a645cba -r 3a240d3f3b8c src/eric7/ViewManager/ViewManager.py --- a/src/eric7/ViewManager/ViewManager.py Mon Jan 09 11:22:56 2023 +0100 +++ b/src/eric7/ViewManager/ViewManager.py Tue Jan 10 09:19:32 2023 +0100 @@ -5474,7 +5474,7 @@ fn = editor.getFileName() # remove the window - editor.parent().shutdownTimer() + editor.parent().aboutToBeClosed() self._removeView(editor) self.editors.remove(editor)