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