diff -r 55c9bb589b0a -r ef400197e7d5 WebBrowser/WebBrowserWindow.py
--- a/WebBrowser/WebBrowserWindow.py Sat Apr 30 13:07:13 2016 +0200
+++ b/WebBrowser/WebBrowserWindow.py Sat Apr 30 20:01:30 2016 +0200
@@ -98,6 +98,7 @@
_featurePermissionManager = None
_flashCookieManager = None
_imageSearchEngine = None
+ _autoScroller = None
def __init__(self, home, path, parent, name, fromEric=False,
initShortcutsOnly=False, searchWord=None,
@@ -2683,6 +2684,8 @@
self.searchEdit.preferencesChanged()
+ self.autoScroller().preferencesChanged()
+
if not self.isPrivate():
profile = self.webProfile()
if Preferences.getWebBrowser("DiskCacheEnabled"):
@@ -3464,6 +3467,20 @@
return cls._imageSearchEngine
@classmethod
+ def autoScroller(cls):
+ """
+ Class method to get a reference to the auto scroller.
+
+ @return reference to the auto scroller object
+ @rtype AutoScroller
+ """
+ if cls._autoScroller is None:
+ from .AutoScroll.AutoScroller import AutoScroller
+ cls._autoScroller = AutoScroller()
+
+ return cls._autoScroller
+
+ @classmethod
def mainWindow(cls):
"""
Class method to get a reference to the main window.
