UI/UserInterface.py

changeset 2149
bd0bbb3043df
parent 2137
5a9bdcb8c934
child 2155
b2aba7aeab3a
equal deleted inserted replaced
2144:28647dd918f3 2149:bd0bbb3043df
5234 @return flag indicating success 5234 @return flag indicating success
5235 """ 5235 """
5236 if self.shutdownCalled: 5236 if self.shutdownCalled:
5237 return True 5237 return True
5238 5238
5239 if self.helpWindow is not None:
5240 if not self.helpWindow.shutdown():
5241 return False
5242
5239 self.__writeSession() 5243 self.__writeSession()
5240 5244
5241 if not self.project.closeProject(): 5245 if not self.project.closeProject():
5242 return False 5246 return False
5243 5247

eric ide

mercurial