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