UI/UserInterface.py

changeset 2149
bd0bbb3043df
parent 2137
5a9bdcb8c934
child 2155
b2aba7aeab3a
--- a/UI/UserInterface.py	Mon Oct 15 19:30:41 2012 +0200
+++ b/UI/UserInterface.py	Tue Oct 16 19:43:27 2012 +0200
@@ -5236,6 +5236,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():

eric ide

mercurial