| Index: public/web/WebSettings.h
|
| diff --git a/public/web/WebSettings.h b/public/web/WebSettings.h
|
| index 7e2249f33e1a7cd1a6c112f6087abe7b7c778344..330e040a2634fd688850c1f1c0e061f4ac8a5fc3 100644
|
| --- a/public/web/WebSettings.h
|
| +++ b/public/web/WebSettings.h
|
| @@ -189,7 +189,10 @@ public:
|
| virtual void setPerTilePaintingEnabled(bool) = 0;
|
| virtual void setPictographFontFamily(const WebString&, UScriptCode = USCRIPT_COMMON) = 0;
|
| virtual void setPinchOverlayScrollbarThickness(int) = 0;
|
| - virtual void setPinchVirtualViewportEnabled(bool) = 0;
|
| +
|
| + // TODO(bokan): Temporary, need to remove Chromium side users.
|
| + virtual void setPinchVirtualViewportEnabled(bool) { }
|
| +
|
| virtual void setPluginsEnabled(bool) = 0;
|
| virtual void setAvailablePointerTypes(int) = 0;
|
| virtual void setPrimaryPointerType(PointerType) = 0;
|
|
|