| Index: third_party/WebKit/public/platform/WebLayerTreeView.h
|
| diff --git a/third_party/WebKit/public/platform/WebLayerTreeView.h b/third_party/WebKit/public/platform/WebLayerTreeView.h
|
| index 48f41ae8b578cc28a5ad58c673cb227f46c5d00a..2cc2e91a6859234be0ed62dcbb360bea479a1366 100644
|
| --- a/third_party/WebKit/public/platform/WebLayerTreeView.h
|
| +++ b/third_party/WebKit/public/platform/WebLayerTreeView.h
|
| @@ -66,7 +66,9 @@ public:
|
|
|
| // View properties ---------------------------------------------------
|
|
|
| + // Viewport size is given in physical pixels.
|
| virtual void setViewportSize(const WebSize& deviceViewportSize) { }
|
| + virtual WebSize getViewportSize() const { return WebSize(); }
|
|
|
| virtual void setDeviceScaleFactor(float) { }
|
|
|
|
|