summaryrefslogtreecommitdiff
path: root/core/java
diff options
context:
space:
mode:
authorShimeng (Simon) Wang <swang@google.com>2010-11-03 14:33:28 -0700
committerAndroid (Google) Code Review <android-gerrit@google.com>2010-11-03 14:33:28 -0700
commita25c0305bca20c09e71f65036b81601f360507af (patch)
tree43e7a890d3d141f9f8a2403760ae586f24525b37 /core/java
parent5dc336e23a0fcff66cbb31c002789d2e521abb5c (diff)
parent27c31388e4e9be97f3b5e08cef93e3c8c9fc6a23 (diff)
Merge "Prevent 0 content width."
Diffstat (limited to 'core/java')
-rw-r--r--core/java/android/webkit/ZoomManager.java10
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));
}