UI/UserInterface.py

branch
maintenance
changeset 6747
09ad978cb776
parent 6646
51eefa621de4
child 6826
c6dda2cbe081
equal deleted inserted replaced
6746:d105e61f4914 6747:09ad978cb776
6624 self.rightSidebar.shutdown() 6624 self.rightSidebar.shutdown()
6625 6625
6626 if self.SAServer is not None: 6626 if self.SAServer is not None:
6627 self.SAServer.shutdown() 6627 self.SAServer.shutdown()
6628 self.SAServer = None 6628 self.SAServer = None
6629
6630 # set proxy factory to None to avoid crashes
6631 QNetworkProxyFactory.setApplicationProxyFactory(None)
6629 6632
6630 Preferences.setGeometry("MainMaximized", self.isMaximized()) 6633 Preferences.setGeometry("MainMaximized", self.isMaximized())
6631 if not self.isMaximized(): 6634 if not self.isMaximized():
6632 Preferences.setGeometry("MainGeometry", self.saveGeometry()) 6635 Preferences.setGeometry("MainGeometry", self.saveGeometry())
6633 6636

eric ide

mercurial