--- a/Preferences/ConfigurationPages/PythonPage.py	Fri Oct 18 23:00:41 2013 +0200
+++ b/Preferences/ConfigurationPages/PythonPage.py	Fri Nov 01 15:48:48 2013 +0100
@@ -59,9 +59,11 @@
             enc = "utf-8"
         Preferences.setSystem("IOEncoding", enc)
         
-        Preferences.setDebugger("PythonExtensions",
+        Preferences.setDebugger(
+            "PythonExtensions",
             self.py2ExtensionsEdit.text())
-        Preferences.setDebugger("Python3Extensions",
+        Preferences.setDebugger(
+            "Python3Extensions",
             self.py3ExtensionsEdit.text())