wilderjds
/
emacs-application-framework
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Optimise scrollPage offset of browser.

Browse Source
master
Andy Stewart 8 years ago
parent 06071d056f
commit 8cb075acc6
1 changed files with 3 additions and 4 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 7
      core/browser.py

7
core/browser.py
Unescape View File

@ -253,14 +253,13 @@ class WebHitTestResult():
self.m_mediaUrl = data.mediaUrl().toString() self.m_mediaUrl = data.mediaUrl().toString()
def webview_scroll(webview, scroll_direction, scroll_type): def webview_scroll(webview, scroll_direction, scroll_type):
line_offset = 10 line_offset = 50
page_offset = 100
if scroll_type == "page": if scroll_type == "page":
if scroll_direction == "up": if scroll_direction == "up":
webview.buffer_widget.web_page.runJavaScript("window.scrollBy({0}, {1});".format(0, page_offset)); webview.buffer_widget.web_page.runJavaScript("window.scrollBy(0, screen.height)");
else: else:
webview.buffer_widget.web_page.runJavaScript("window.scrollBy({0}, {1});".format(0, -page_offset)); webview.buffer_widget.web_page.runJavaScript("window.scrollBy(0, -screen.height)");
else: else:
if scroll_direction == "up": if scroll_direction == "up":
webview.buffer_widget.web_page.runJavaScript("window.scrollBy({0}, {1});".format(0, line_offset)); webview.buffer_widget.web_page.runJavaScript("window.scrollBy({0}, {1});".format(0, line_offset));

Write Preview
Loading…
Cancel
Save