--- 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(