Mercurial Repositories > eric / file diff
diff: src/eric7/UI/UserInterface.py
src/eric7/UI/UserInterface.py
- branch
- eric7
- changeset 9823
- 31eeccd92f86
- parent 9697
- cdaa3cc805f7
- child 9832
- 3885b9d7bd31
- child 9938
- b8005dd4fc9b
diff -r 51822ebcb6de -r 31eeccd92f86 src/eric7/UI/UserInterface.py --- 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:
