| Index: public/platform/WebLayer.h
|
| diff --git a/public/platform/WebLayer.h b/public/platform/WebLayer.h
|
| index 3950cc1d5342dc5e9e1c4c22aab629d646c211e6..84f53d9bfd5ad18877307ed76dd0a91e3edee0b8 100644
|
| --- a/public/platform/WebLayer.h
|
| +++ b/public/platform/WebLayer.h
|
| @@ -30,6 +30,7 @@
|
| #include "WebColor.h"
|
| #include "WebCommon.h"
|
| #include "WebCompositorAnimation.h"
|
| +#include "WebDoublePoint.h"
|
| #include "WebFloatPoint3D.h"
|
| #include "WebPoint.h"
|
| #include "WebRect.h"
|
| @@ -161,8 +162,8 @@ public:
|
| virtual void setClipParent(WebLayer*) = 0;
|
|
|
| // Scrolling
|
| - virtual void setScrollPosition(WebPoint) = 0;
|
| - virtual WebPoint scrollPosition() const = 0;
|
| + virtual void setScrollPositionDouble(WebDoublePoint) = 0;
|
| + virtual WebDoublePoint scrollPositionDouble() const = 0;
|
|
|
| // To set a WebLayer as scrollable we must specify the corresponding clip layer.
|
| virtual void setScrollClipLayer(WebLayer*) = 0;
|
|
|