# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1404318056 -7200
# Node ID f0b5bdce11892a582d81ac1beb29e349a1b7eb13
# Parent  94a902de5266fceb31dd80709fb848268405c4e1
fix the preferences dialog after update to the new style api

diff -r 94a902de5266 -r f0b5bdce1189 PreferencesDialog.py
--- 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))