changeset 229:f0b5bdce1189

fix the preferences dialog after update to the new style api
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 02 Jul 2014 18:20:56 +0200
parents 94a902de5266
children 9faa1f84e8c9
files PreferencesDialog.py
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/PreferencesDialog.py	Sat May 31 04:23:53 2014 +0200
+++ b/PreferencesDialog.py	Wed Jul 02 18:20:56 2014 +0200
@@ -63,13 +63,13 @@
     def storeProxySettings(self):
         proxyHost = self.ui.proxyHost.text()
         self.preferences.setUseProxy(self.ui.useProxy.isChecked())
-        if proxyHost.isEmpty():
+        if len(proxyHost) == 0:
             self.preferences.setProxyHost(None)
         else:
-            self.preferences.setProxyHost(str(proxyHost))
+            self.preferences.setProxyHost(proxyHost)
 
         proxyPort = self.ui.proxyPort.text()
-        if proxyPort.isEmpty():
+        if len(proxyPort) == 0:
             self.preferences.setProxyPort(None)
         else:
             self.preferences.setProxyPort(int(proxyPort))