UI/UserInterface.py

changeset 2228
5c59b9393306
parent 2227
b7aceb255831
child 2237
baddb671c326
equal deleted inserted replaced
2227:b7aceb255831 2228:5c59b9393306
5169 5169
5170 if self.helpWindow is not None: 5170 if self.helpWindow is not None:
5171 if not self.helpWindow.shutdown(): 5171 if not self.helpWindow.shutdown():
5172 return False 5172 return False
5173 5173
5174 if not self.irc.shutdown():
5175 return False
5176
5174 self.__writeSession() 5177 self.__writeSession()
5175 5178
5176 if not self.project.closeProject(): 5179 if not self.project.closeProject():
5177 return False 5180 return False
5178 5181
5179 if not self.multiProject.closeMultiProject(): 5182 if not self.multiProject.closeMultiProject():
5180 return False 5183 return False
5181 5184
5182 if not self.viewmanager.closeViewManager(): 5185 if not self.viewmanager.closeViewManager():
5183 return False
5184
5185 if not self.irc.shutdown():
5186 return False 5186 return False
5187 5187
5188 self.shell.closeShell() 5188 self.shell.closeShell()
5189 self.terminal.closeTerminal() 5189 self.terminal.closeTerminal()
5190 5190

eric ide

mercurial