Mon, 27 Feb 2023 19:32:50 +0100
Added some code to ensure a proper shutdown of the MicroPython widget.
(grafted from 3bc57035aa86ca299715e1152e936242ecb7bbc1)
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 16:59:51 2023 +0100 +++ b/src/eric7/MicroPython/MicroPythonWidget.py Mon Feb 27 19:32:50 2023 +0100 @@ -1411,6 +1411,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 16:59: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: