--- a/Preferences/ConfigurationPages/PythonPage.py	Tue Oct 15 19:13:32 2013 +0200
+++ b/Preferences/ConfigurationPages/PythonPage.py	Wed Oct 16 15:16:54 2013 +0200
@@ -57,9 +57,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())