eric7/UI/UserInterface.py

branch
eric7
changeset 8685
b0669ce1066d
parent 8680
85503ff2fce9
child 8697
936662560d04
diff -r e8a907801549 -r b0669ce1066d eric7/UI/UserInterface.py
--- a/eric7/UI/UserInterface.py	Wed Oct 13 18:15:30 2021 +0200
+++ b/eric7/UI/UserInterface.py	Thu Oct 14 20:15:58 2021 +0200
@@ -7296,6 +7296,9 @@
         if self.cooperation is not None:
             self.cooperation.shutdown()
         
+        if self.__helpViewerWidget is not None:
+            self.__helpViewerWidget.shutdown()
+        
         self.pluginManager.doShutdown()
         
         if self.SAServer is not None:

eric ide

mercurial