diff -r 8081031061a2 -r 682750cc7bd5 Preferences/__init__.py
--- a/Preferences/__init__.py Sun Apr 03 16:33:37 2016 +0200
+++ b/Preferences/__init__.py Sun Apr 03 17:07:25 2016 +0200
@@ -62,6 +62,7 @@
from WebBrowser.FlashCookieManager.FlashCookieUtilities import \
flashDataPathForOS
+
class Prefs(object):
"""
A class to hold all configuration items for the application.
@@ -2783,7 +2784,7 @@
value = prefClass.helpDefaults[key]
return value
elif key in ["StartupBehavior", "HistoryLimit",
- "DownloadManagerRemovePolicy","SyncType", "SyncFtpPort",
+ "DownloadManagerRemovePolicy", "SyncType", "SyncFtpPort",
"SyncFtpIdleTimeout", "SyncEncryptionKeyLength",
"SearchLanguage", "WebInspectorPort",
"DefaultFontSize", "DefaultFixedFontSize",
