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