WebBrowser/AutoScroll/AutoScroller.py

changeset 4964
a894e8c92369
parent 4961
f29e590ec5e0
child 5389
9b1c800daff3
equal deleted inserted replaced
4963:e5e31c75ce00 4964:a894e8c92369
202 window.innerHeight > document.documentElement.clientHeight 202 window.innerHeight > document.documentElement.clientHeight
203 }; 203 };
204 out;""" 204 out;"""
205 205
206 res = view.page().execJavaScript(jsSource) 206 res = view.page().execJavaScript(jsSource)
207 if res is None:
208 return False
209
207 vertical = res["vertical"] 210 vertical = res["vertical"]
208 horizontal = res["horizontal"] 211 horizontal = res["horizontal"]
209 if not vertical and not horizontal: 212 if not vertical and not horizontal:
210 return False 213 return False
211 214

eric ide

mercurial