| 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,
|
|
|