diff options
| author | Chris Craik <ccraik@google.com> | 2012-05-15 10:34:33 -0700 |
|---|---|---|
| committer | Chris Craik <ccraik@google.com> | 2012-05-15 10:41:49 -0700 |
| commit | 02c2f45ea21fefe2449bfb95c85df746b3a88bdc (patch) | |
| tree | ac32b8ba556e92736c9830d95050f4952447d7e6 /core/java/android/webkit/ZoomManager.java | |
| parent | 66757217a6d8e6a156d15be55bf77940e2e6194b (diff) | |
Invalidate on new picture if scale/content size changes
bug:6497496
Change-Id: Id6de6f83f7bf8a9a4ebcfed61e6b3985d7f19efe
Diffstat (limited to 'core/java/android/webkit/ZoomManager.java')
| -rw-r--r-- | core/java/android/webkit/ZoomManager.java | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/core/java/android/webkit/ZoomManager.java b/core/java/android/webkit/ZoomManager.java index 2247678d4867..1da59e400da8 100644 --- a/core/java/android/webkit/ZoomManager.java +++ b/core/java/android/webkit/ZoomManager.java @@ -1008,8 +1008,10 @@ class ZoomManager { /** * Updates zoom values when Webkit produces a new picture. This method * should only be called from the UI thread's message handler. + * + * @return True if zoom value has changed */ - public void onNewPicture(WebViewCore.DrawData drawData) { + public boolean onNewPicture(WebViewCore.DrawData drawData) { final int viewWidth = mWebView.getViewWidth(); final boolean zoomOverviewWidthChanged = setupZoomOverviewWidth(drawData, viewWidth); final float newZoomOverviewScale = getZoomOverviewScale(); @@ -1056,6 +1058,8 @@ class ZoomManager { // so next new picture could be forced into overview mode if it's true. mInitialZoomOverview = mInZoomOverview; } + + return scaleHasDiff; } /** |
