--- 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]))