Chromium Code Reviews| Index: Source/WebKit/chromium/public/WebSettings.h |
| diff --git a/Source/WebKit/chromium/public/WebSettings.h b/Source/WebKit/chromium/public/WebSettings.h |
| index 3d91c193d59d62cba413a2c9ffb3389f2317fe11..df2509637733b071b12a01ba23c88bc596d7ef4f 100644 |
| --- a/Source/WebKit/chromium/public/WebSettings.h |
| +++ b/Source/WebKit/chromium/public/WebSettings.h |
| @@ -52,6 +52,8 @@ public: |
| EditingBehaviorAndroid |
| }; |
| + virtual void settingsChanged() const = 0; |
|
abarth-chromium
2013/05/06 21:58:30
I'm surprised this is a public API. Is the embedd
Ken Russell (switch to Gerrit)
2013/05/06 22:12:22
It's not possible to detect internally when would
|
| + |
| virtual bool scrollAnimatorEnabled() const = 0; |
| virtual bool touchEditingEnabled() const = 0; |
| virtual bool viewportEnabled() const = 0; |