WebBrowser/AutoScroll/AutoScroller.py

changeset 4961
f29e590ec5e0
parent 4958
ef400197e7d5
child 4964
a894e8c92369
equal deleted inserted replaced
4960:fb24ccb25ff5 4961:f29e590ec5e0
194 if hit.isContentEditable() or not hit.linkUrl().isEmpty(): 194 if hit.isContentEditable() or not hit.linkUrl().isEmpty():
195 return False 195 return False
196 196
197 jsSource = """ 197 jsSource = """
198 var out = { 198 var out = {
199 vertical: 199 vertical:
200 window.innerWidth > document.documentElement.clientWidth, 200 window.innerWidth > document.documentElement.clientWidth,
201 horizontal: 201 horizontal:
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)

eric ide

mercurial