Mercurial Repositories > eric / file diff

diff -r e5e31c75ce00 -r a894e8c92369 WebBrowser/AutoScroll/AutoScroller.py
--- a/WebBrowser/AutoScroll/AutoScroller.py	Mon May 02 20:14:37 2016 +0200
+++ b/WebBrowser/AutoScroll/AutoScroller.py	Tue May 03 19:42:26 2016 +0200
@@ -204,6 +204,9 @@
             out;"""
         
         res = view.page().execJavaScript(jsSource)
+        if res is None:
+            return False
+        
         vertical = res["vertical"]
         horizontal = res["horizontal"]
         if not vertical and not horizontal: