diff -r 8cb6b7651074 -r d07c71a34adf src/eric7/MicroPython/MicroPythonWidget.py
--- a/src/eric7/MicroPython/MicroPythonWidget.py Thu Apr 10 18:36:24 2025 +0200
+++ b/src/eric7/MicroPython/MicroPythonWidget.py Thu Apr 10 18:39:29 2025 +0200
@@ -173,6 +173,7 @@
self.repopulateButton.clicked.connect(self.__populateDeviceTypeComboBox)
self.webreplConfigButton.clicked.connect(self.__configureWebreplUrls)
self.__ui.preferencesChanged.connect(self.__handlePreferencesChanged)
+ self.__ui.shutdown.connect(self.__shutdown)
self.__handlePreferencesChanged()
@@ -961,9 +962,9 @@
"""
return self.__fileManager
- def shutdown(self):
+ def __shutdown(self):
"""
- Public method to perform some shutdown actions.
+ Private method to perform some shutdown actions.
"""
if self.__linkConnected:
with EricOverrideCursor():
