src/eric7/MicroPython/MicroPythonWidget.py

branch
eric7
changeset 11215
d07c71a34adf
parent 11186
c2d18aefef6b
--- 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():

eric ide

mercurial