diff options
author | John Reck <jreck@google.com> | 2012-05-04 11:08:55 -0700 |
---|---|---|
committer | John Reck <jreck@google.com> | 2012-05-06 15:55:00 -0700 |
commit | e5c9306b222e597f907697ab28a7936bfc61e487 (patch) | |
tree | ea2a15d5a709640a9fc4386a055c2eef35a714c8 /Source/WebKit/android/jni/WebViewCore.h | |
parent | e712b54e831d077c789984b8206f64d81dbceaa2 (diff) | |
download | external_webkit-e5c9306b222e597f907697ab28a7936bfc61e487.zip external_webkit-e5c9306b222e597f907697ab28a7936bfc61e487.tar.gz external_webkit-e5c9306b222e597f907697ab28a7936bfc61e487.tar.bz2 |
Disable prerenders while scrolling
Bug: 6445656
Change-Id: I3d9e2cece4b3ec86deb00e98ae98f281525dab48
Diffstat (limited to 'Source/WebKit/android/jni/WebViewCore.h')
-rw-r--r-- | Source/WebKit/android/jni/WebViewCore.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/WebKit/android/jni/WebViewCore.h b/Source/WebKit/android/jni/WebViewCore.h index 8dc1d07..043953b 100644 --- a/Source/WebKit/android/jni/WebViewCore.h +++ b/Source/WebKit/android/jni/WebViewCore.h @@ -760,6 +760,7 @@ namespace android { int m_maxYScroll; int m_scrollOffsetX; // webview.java's current scroll in X int m_scrollOffsetY; // webview.java's current scroll in Y + double m_scrollSetTime; // when the scroll was last set WebCore::IntPoint m_mousePos; int m_screenWidth; // width of the visible rect in document coordinates int m_screenHeight;// height of the visible rect in document coordinates |