Mercurial Repositories > eric / file diff

--- 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: