UI/UserInterface.py

changeset 2155
b2aba7aeab3a
parent 2154
e70eb95d57e5
parent 2149
bd0bbb3043df
child 2182
fc3210851b07
--- a/UI/UserInterface.py	Sat Oct 20 17:27:09 2012 +0200
+++ b/UI/UserInterface.py	Sat Oct 20 17:28:38 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