Index: third_party/WebKit/public/web/WebLocalFrame.h |
diff --git a/third_party/WebKit/public/web/WebLocalFrame.h b/third_party/WebKit/public/web/WebLocalFrame.h |
index 88f07d4d8c1fcfd6fb03c00036ea020b5e77d9c0..e2ed47e247e113dbcb1ec7a2d4fe997e01f6a422 100644 |
--- a/third_party/WebKit/public/web/WebLocalFrame.h |
+++ b/third_party/WebKit/public/web/WebLocalFrame.h |
@@ -17,6 +17,7 @@ class WebAutofillClient; |
class WebContentSettingsClient; |
class WebDevToolsAgent; |
class WebDevToolsAgentClient; |
+class WebDoubleSize; |
class WebFrameClient; |
class WebFrameWidget; |
class WebRange; |
@@ -163,7 +164,7 @@ public: |
// marginLeft must be initialized to the default values that are used if |
// auto is specified. |
virtual void pageSizeAndMarginsInPixels(int pageIndex, |
- WebSize& pageSize, |
+ WebDoubleSize& pageSize, |
int& marginTop, |
int& marginRight, |
int& marginBottom, |