Mon, 27 Feb 2023 19:32:50 +0100
Added some code to ensure a proper shutdown of the MicroPython widget.
src/eric7/MicroPython/MicroPythonWidget.py | file | annotate | diff | comparison | revisions | |
src/eric7/UI/UserInterface.py | file | annotate | diff | comparison | revisions |
--- 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 ##################################################################
--- a/src/eric7/UI/UserInterface.py Mon Feb 27 17:43:51 2023 +0100 +++ b/src/eric7/UI/UserInterface.py Mon Feb 27 19:32:50 2023 +0100 @@ -8193,6 +8193,9 @@ if self.__helpViewerWidget is not None: self.__helpViewerWidget.shutdown() + if self.microPythonWidget is not None: + self.microPythonWidget.shutdown() + self.pluginManager.doShutdown() if self.SAServer is not None: