UI/UserInterface.py

changeset 2114
c07f0cb40b18
parent 2101
5bac7dee9e1a
child 2137
5a9bdcb8c934
equal deleted inserted replaced
2110:eff6b085ea89 2114:c07f0cb40b18
5213 return False 5213 return False
5214 self.debuggerUI.shutdown() 5214 self.debuggerUI.shutdown()
5215 5215
5216 self.pluginManager.doShutdown() 5216 self.pluginManager.doShutdown()
5217 5217
5218 if self.layout == "Sidebars":
5219 self.leftSidebar.shutdown()
5220 self.bottomSidebar.shutdown()
5221
5218 if self.SAServer is not None: 5222 if self.SAServer is not None:
5219 self.SAServer.shutdown() 5223 self.SAServer.shutdown()
5220 self.SAServer = None 5224 self.SAServer = None
5221 5225
5222 Preferences.setGeometry("MainMaximized", self.isMaximized()) 5226 Preferences.setGeometry("MainMaximized", self.isMaximized())

eric ide

mercurial