--- a/src/eric7/MicroPython/MicroPythonWindow.py Thu Apr 10 18:36:24 2025 +0200 +++ b/src/eric7/MicroPython/MicroPythonWindow.py Thu Apr 10 18:39:29 2025 +0200 @@ -47,10 +47,12 @@ @signal editorCountChanged(count) emitted whenever the count of open editors changed @signal preferencesChanged() emitted after the preferences were changed + @signal shutdown() emitted to indicate a shutdown of the application """ editorCountChanged = pyqtSignal(int) preferencesChanged = pyqtSignal() + shutdown = pyqtSignal() def __init__(self, parent=None): """ @@ -141,6 +143,8 @@ with contextlib.suppress(RuntimeError): editor.close() + self.shutdown.emit() + evt.accept() def __sslErrors(self, reply, errors):