| Index: content/public/android/java/src/org/chromium/content/browser/RenderCoordinates.java
|
| diff --git a/content/public/android/java/src/org/chromium/content/browser/RenderCoordinates.java b/content/public/android/java/src/org/chromium/content/browser/RenderCoordinates.java
|
| index 98961c01258195c2359396d16d96fe1ad3351009..0023dbdb991e631e57daf2d1f95ebc4746410f24 100644
|
| --- a/content/public/android/java/src/org/chromium/content/browser/RenderCoordinates.java
|
| +++ b/content/public/android/java/src/org/chromium/content/browser/RenderCoordinates.java
|
| @@ -13,6 +13,11 @@ package org.chromium.content.browser;
|
| * Unless stated otherwise, all coordinates are in CSS (document) coordinate space.
|
| */
|
| public class RenderCoordinates {
|
| +
|
| + // Used to accomodate finite precision when comparing scaled viewport and
|
| + // content widths in {@link #hasMobileViewport()}.
|
| + private static final float MOBILE_VIEWPORT_WIDTH_EPSILON = 0.005f;
|
| +
|
| // Scroll offset from the native in CSS.
|
| private float mScrollXCss;
|
| private float mScrollYCss;
|
| @@ -274,8 +279,8 @@ public class RenderCoordinates {
|
| * @return True if the page has a width=device-width or narrower viewport.
|
| */
|
| public boolean hasMobileViewport() {
|
| - float windowWidthDip = mPageScaleFactor * mLastFrameViewportWidthCss;
|
| - return mContentWidthCss <= windowWidthDip;
|
| + final float windowWidthDip = mPageScaleFactor * mLastFrameViewportWidthCss;
|
| + return mContentWidthCss <= (windowWidthDip + MOBILE_VIEWPORT_WIDTH_EPSILON);
|
| }
|
|
|
| /**
|
|
|