Preferences/__init__.py

changeset 3200
83bde5e6f146
parent 3160
209a07d7e401
child 3207
6cf664694e3c
--- a/Preferences/__init__.py	Sat Jan 11 20:03:38 2014 +0100
+++ b/Preferences/__init__.py	Sun Jan 12 18:02:33 2014 +0100
@@ -960,6 +960,11 @@
         # 2 = weekly
         # 3 = monthly
         "CheckInstalledOnly": True,
+        # list of plug-ins not to shown in the repo dialog
+        "HiddenPlugins": [],
+        # parameters for housekeeping
+        "KeepGenerations": 2,
+        "KeepHidden": False,
     }
     
     # defaults for the printer settings
@@ -2617,9 +2622,12 @@
     if key in ["DownloadPath"]:
         return prefClass.settings.value(
             "PluginManager/" + key, prefClass.pluginManagerDefaults[key])
-    elif key in ["UpdatesCheckInterval"]:
+    elif key in ["UpdatesCheckInterval", "KeepGenerations"]:
         return int(prefClass.settings.value(
             "PluginManager/" + key, prefClass.pluginManagerDefaults[key]))
+    elif key in ["HiddenPlugins"]:
+        return toList(prefClass.settings.value(
+            "PluginManager/" + key, prefClass.pluginManagerDefaults[key]))
     else:
         return toBool(prefClass.settings.value(
             "PluginManager/" + key, prefClass.pluginManagerDefaults[key]))

eric ide

mercurial