Preferences/ConfigurationPages/WebBrowserPage.py

changeset 4958
ef400197e7d5
parent 4957
55c9bb589b0a
child 4965
a9a4b632fe48
--- a/Preferences/ConfigurationPages/WebBrowserPage.py	Sat Apr 30 13:07:13 2016 +0200
+++ b/Preferences/ConfigurationPages/WebBrowserPage.py	Sat Apr 30 20:01:30 2016 +0200
@@ -145,6 +145,11 @@
         self.xssAuditingCheckBox.setChecked(
             Preferences.getWebBrowser("XSSAuditingEnabled"))
         
+        self.autoScrollGroupBox.setChecked(
+            Preferences.getWebBrowser("AutoScrollEnabled"))
+        self.autoScrollDividerSpinBox.setValue(
+            Preferences.getWebBrowser("AutoScrollDivider"))
+        
         self.webInspectorGroup.setChecked(
             Preferences.getWebBrowser("WebInspectorEnabled"))
         self.webInspectorPortSpinBox.setValue(
@@ -261,6 +266,13 @@
             self.xssAuditingCheckBox.isChecked())
         
         Preferences.setWebBrowser(
+            "AutoScrollEnabled",
+            self.autoScrollGroupBox.isChecked())
+        Preferences.setWebBrowser(
+            "AutoScrollDivider",
+            self.autoScrollDividerSpinBox.value())
+        
+        Preferences.setWebBrowser(
             "WebInspectorEnabled",
             self.webInspectorGroup.isChecked())
         Preferences.setWebBrowser(

eric ide

mercurial