Preferences/__init__.py

changeset 5762
76ef5f340007
parent 5745
4f4316e83318
child 5765
39d8b26ff557
--- a/Preferences/__init__.py	Tue Jun 20 14:45:35 2017 +0200
+++ b/Preferences/__init__.py	Wed Jun 21 19:40:59 2017 +0200
@@ -125,7 +125,8 @@
     
     # defaults for the UI settings
     uiDefaults = {
-        "KeyboardInputInterval": 0,    # 0 = use system default
+        "KeyboardInputInterval": 0,         # 0 = use system default
+        "BackgroundServiceProcesses": 0,    # 0 = max. CPUs minus one
         "Language": "System",
         "Style": "System",
         "StyleSheet": "",
@@ -1859,7 +1860,8 @@
                  "ProxyPort/Http", "ProxyPort/Https", "ProxyPort/Ftp",
                  "ProxyType/Ftp", "OpenOnStartup",
                  "PerformVersionCheck", "RecentNumber", "NotificationTimeout",
-                 "SidebarDelay", "KeyboardInputInterval"]:
+                 "SidebarDelay", "KeyboardInputInterval",
+                 "BackgroundServiceProcesses"]:
         return int(prefClass.settings.value(
             "UI/" + key, prefClass.uiDefaults[key]))
     elif key in ["ProxyPassword/Http", "ProxyPassword/Https",

eric ide

mercurial