diff options
| author | Shimeng (Simon) Wang <swang@google.com> | 2010-11-03 14:33:28 -0700 |
|---|---|---|
| committer | Android (Google) Code Review <android-gerrit@google.com> | 2010-11-03 14:33:28 -0700 |
| commit | a25c0305bca20c09e71f65036b81601f360507af (patch) | |
| tree | 43e7a890d3d141f9f8a2403760ae586f24525b37 /core/java | |
| parent | 5dc336e23a0fcff66cbb31c002789d2e521abb5c (diff) | |
| parent | 27c31388e4e9be97f3b5e08cef93e3c8c9fc6a23 (diff) | |
Merge "Prevent 0 content width."
Diffstat (limited to 'core/java')
| -rw-r--r-- | core/java/android/webkit/ZoomManager.java | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/core/java/android/webkit/ZoomManager.java b/core/java/android/webkit/ZoomManager.java index dd812d4eb170..2235f0f3fde1 100644 --- a/core/java/android/webkit/ZoomManager.java +++ b/core/java/android/webkit/ZoomManager.java @@ -572,7 +572,11 @@ class ZoomManager { } private void setZoomOverviewWidth(int width) { - mZoomOverviewWidth = width; + if (width == 0) { + mZoomOverviewWidth = WebView.DEFAULT_VIEWPORT_WIDTH; + } else { + mZoomOverviewWidth = width; + } mInvZoomOverviewWidth = 1.0f / width; } @@ -807,7 +811,7 @@ class ZoomManager { Math.max((int) (viewWidth * mInvDefaultScale), Math.max(drawData.mMinPrefWidth, drawData.mViewSize.x)))); } else { - final int contentWidth = drawData.mContentSize.x; + final int contentWidth = Math.max(drawData.mContentSize.x, drawData.mViewSize.x); setZoomOverviewWidth(Math.min(WebView.sMaxViewportWidth, contentWidth)); } } @@ -843,7 +847,7 @@ class ZoomManager { updateZoomRange(viewState, viewSize.x, drawData.mMinPrefWidth); if (mWebView.getSettings().getUseWideViewPort() && mWebView.getSettings().getUseFixedViewport()) { - final int contentWidth = drawData.mContentSize.x; + final int contentWidth = Math.max(drawData.mContentSize.x, drawData.mMinPrefWidth); setZoomOverviewWidth(Math.min(WebView.sMaxViewportWidth, contentWidth)); } |
