Provide a getter to access the width of the HTML document.

Necessary to scale thumbnail pictures to show the full page width.

Change-Id: I631e880b09fe66403ea71bf5e019899a180e6a53

core/java/android/webkit/WebView.java

@@ -2185,6 +2185,14 @@ public class WebView extends AbsoluteLayout
         return mContentHeight;
     }
 
+    /**
+     * @return the width of the HTML content.
+     * @hide
+     */
+    public int getContentWidth() {
+        return mContentWidth;
+    }
+
     /**
      * Pause all layout, parsing, and javascript timers for all webviews. This
      * is a global requests, not restricted to just this webview. This can be