Preferences/__init__.py

changeset 4958
ef400197e7d5
parent 4957
55c9bb589b0a
child 4965
a9a4b632fe48
--- a/Preferences/__init__.py	Sat Apr 30 13:07:13 2016 +0200
+++ b/Preferences/__init__.py	Sat Apr 30 20:01:30 2016 +0200
@@ -1041,6 +1041,9 @@
         "FilterTrackingCookies": True,
         "SaveUrlColor": QColor(184, 248, 169),
         "UserAgent": "",
+        # Auto Scroller
+        "AutoScrollEnabled": True,
+        "AutoScrollDivider": 8.0,
         # Grease Monkey
         "GreaseMonkeyDisabledScripts": [],
         # Downloads
@@ -2627,7 +2630,7 @@
                  "SyncEncryptPasswordsOnly",
                  "WarnOnMultipleClose", "ClickToFlashEnabled",
                  "FlashCookiesDeleteOnStartExit", "FlashCookieAutoRefresh",
-                 "FlashCookieNotify",
+                 "FlashCookieNotify", 
                  ]:
         return toBool(prefClass.settings.value(
             "Help/" + key, prefClass.helpDefaults[key]))
@@ -2810,6 +2813,7 @@
                  "DoNotTrack", "SendReferer", "FilterTrackingCookies",
                  "AdBlockEnabled", "AdBlockUseLimitedEasyList",
                  "PluginsEnabled", "FullScreenSupportEnabled",
+                 "AutoScrollEnabled",
                  ]:
         return toBool(prefClass.settings.value(
             "WebBrowser/" + key, prefClass.webBrowserDefaults[key]))
@@ -2818,6 +2822,9 @@
                  ]:
         return toList(prefClass.settings.value(
             "WebBrowser/" + key, prefClass.helpDefaults[key]))
+    elif key in ["AutoScrollDivider"]:
+        return float(prefClass.settings.value(
+            "WebBrowser/" + key, prefClass.webBrowserDefaults[key]))
     else:
         return prefClass.settings.value("WebBrowser/" + key,
                                         prefClass.webBrowserDefaults[key])

eric ide

mercurial