Preferences/__init__.py

changeset 3112
9485059ea9fa
parent 3081
d50cc9efc7c7
child 3142
55030c09e142
child 3160
209a07d7e401
--- a/Preferences/__init__.py	Tue Nov 26 19:19:15 2013 +0100
+++ b/Preferences/__init__.py	Tue Nov 26 19:20:42 2013 +0100
@@ -953,7 +953,13 @@
     # defaults for plugin manager related stuff
     pluginManagerDefaults = {
         "ActivateExternal": True,
-        "DownloadPath": ""
+        "DownloadPath": "",
+        "UpdatesCheckInterval": 3,
+        # 0 = off
+        # 1 = daily
+        # 2 = weekly
+        # 3 = monthly
+        "CheckInstalledOnly": True,
     }
     
     # defaults for the printer settings
@@ -2611,6 +2617,9 @@
     if key in ["DownloadPath"]:
         return prefClass.settings.value(
             "PluginManager/" + key, prefClass.pluginManagerDefaults[key])
+    elif key in ["UpdatesCheckInterval"]:
+        return int(prefClass.settings.value(
+            "PluginManager/" + key, prefClass.pluginManagerDefaults[key]))
     else:
         return toBool(prefClass.settings.value(
             "PluginManager/" + key, prefClass.pluginManagerDefaults[key]))

eric ide

mercurial