--- a/Preferences/ConfigurationPages/PluginManagerPage.py	Mon Dec 28 18:31:37 2009 +0000
+++ b/Preferences/ConfigurationPages/PluginManagerPage.py	Wed Dec 30 15:40:33 2009 +0000
@@ -45,7 +45,7 @@
         Public slot to save the Viewmanager configuration.
         """
         Preferences.setPluginManager("ActivateExternal", 
-            int(self.activateExternalPluginsCheckBox.isChecked()))
+            self.activateExternalPluginsCheckBox.isChecked())
         Preferences.setPluginManager("DownloadPath", 
             self.downloadDirEdit.text())