diff -r 6b1b06d74532 -r 3bc57035aa86 src/eric7/MicroPython/MicroPythonWidget.py
--- a/src/eric7/MicroPython/MicroPythonWidget.py Mon Feb 27 17:43:51 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonWidget.py Mon Feb 27 19:32:50 2023 +0100
@@ -1428,6 +1428,14 @@
self.filesButton.setChecked(checked)
+ def shutdown(self):
+ """
+ Public method to perform some shutdown actions.
+ """
+ if self.__linkConnected:
+ with EricOverrideCursor():
+ self.__disconnectFromDevice()
+
##################################################################
## Super Menu related methods below
##################################################################
