diff PreferencesDialog.py @ 194:2c91b5653878

enable/disable using the proxy via a preference setting
author dirk
date Fri, 07 Oct 2011 07:00:44 +0200
parents e8bb107a74e1
children bb3c851b18b1
line wrap: on
line diff
--- a/PreferencesDialog.py	Sat Sep 24 08:07:23 2011 +0200
+++ b/PreferencesDialog.py	Fri Oct 07 07:00:44 2011 +0200
@@ -32,6 +32,7 @@
 
     def fillProxySettings(self):
         if self.preferences.isProxyConfigured():
+            self.ui.useProxy.setChecked(self.preferences.useProxy())
             self.ui.proxyHost.setText(self.preferences.proxyHost())
             port = self.preferences.proxyPort()
             if port is not None:
@@ -61,6 +62,7 @@
 
     def storeProxySettings(self):
         proxyHost = self.ui.proxyHost.text()
+        self.preferences.setUseProxy(self.ui.useProxy.isChecked())
         if proxyHost.isEmpty():
             self.preferences.setProxyHost(None)
         else: