Preferences/ConfigurationPages/PluginManagerPage.py

changeset 3025
67064c71df21
parent 2964
84b65fb9e780
child 3058
0a02c433f52d
child 3113
2780e230f129
diff -r 17c01303a239 -r 67064c71df21 Preferences/ConfigurationPages/PluginManagerPage.py
--- a/Preferences/ConfigurationPages/PluginManagerPage.py	Tue Oct 15 19:13:32 2013 +0200
+++ b/Preferences/ConfigurationPages/PluginManagerPage.py	Wed Oct 16 15:16:54 2013 +0200
@@ -45,9 +45,11 @@
         """
         Public slot to save the Viewmanager configuration.
         """
-        Preferences.setPluginManager("ActivateExternal",
+        Preferences.setPluginManager(
+            "ActivateExternal",
             self.activateExternalPluginsCheckBox.isChecked())
-        Preferences.setPluginManager("DownloadPath",
+        Preferences.setPluginManager(
+            "DownloadPath",
             self.downloadDirEdit.text())
     
     @pyqtSlot()

eric ide

mercurial