UI/UserInterface.py

changeset 5720
fc72c0c81a0f
parent 5654
d75dfc0d10f2
child 5730
6422afc7adc4
child 5736
000ea446ff4b
--- a/UI/UserInterface.py	Thu Apr 27 18:32:57 2017 +0200
+++ b/UI/UserInterface.py	Thu Apr 27 18:33:57 2017 +0200
@@ -210,6 +210,8 @@
         
         self.__proxyFactory = E5NetworkProxyFactory()
         QNetworkProxyFactory.setApplicationProxyFactory(self.__proxyFactory)
+        QNetworkProxyFactory.setUseSystemConfiguration(
+            Preferences.getUI("UseSystemProxy"))
         
         self.capProject = ""
         self.capEditor = ""
@@ -5526,6 +5528,9 @@
             self.bottomSidebar.setDelay(delay)
             self.rightSidebar.setDelay(delay)
         
+        QNetworkProxyFactory.setUseSystemConfiguration(
+            Preferences.getUI("UseSystemProxy"))
+        
         from HexEdit.HexEditMainWindow import HexEditMainWindow
         for hexEditor in HexEditMainWindow.windows:
             hexEditor.preferencesChanged()

eric ide

mercurial