Mercurial Repositories > eric / file diff

diff -r e734eb71cac8 -r 7d38a32bf535 UI/UserInterface.py
--- a/UI/UserInterface.py	Mon Oct 15 20:04:14 2012 +0200
+++ b/UI/UserInterface.py	Tue Oct 16 19:43:27 2012 +0200
@@ -5524,6 +5524,10 @@
         if self.shutdownCalled:
             return True
         
+        if self.helpWindow is not None:
+            if not self.helpWindow.shutdown():
+                return False
+        
         self.__writeSession()
         
         if not self.project.closeProject():