UI/UserInterface.py

branch
5_2_x
changeset 2116
5edbd90cf9e6
parent 1756
0523aa6d32cf
child 2151
7d38a32bf535
equal deleted inserted replaced
2113:91ad478a4ad7 2116:5edbd90cf9e6
5545 return False 5545 return False
5546 self.debuggerUI.shutdown() 5546 self.debuggerUI.shutdown()
5547 5547
5548 self.pluginManager.doShutdown() 5548 self.pluginManager.doShutdown()
5549 5549
5550 if self.layout == "Sidebars":
5551 self.leftSidebar.shutdown()
5552 self.bottomSidebar.shutdown()
5553
5550 if self.SAServer is not None: 5554 if self.SAServer is not None:
5551 self.SAServer.shutdown() 5555 self.SAServer.shutdown()
5552 self.SAServer = None 5556 self.SAServer = None
5553 5557
5554 Preferences.setGeometry("MainMaximized", self.isMaximized()) 5558 Preferences.setGeometry("MainMaximized", self.isMaximized())

eric ide

mercurial