| Index: third_party/WebKit/public/web/WebSettings.h
|
| diff --git a/third_party/WebKit/public/web/WebSettings.h b/third_party/WebKit/public/web/WebSettings.h
|
| index 13d700eec9b29f28320575d5a29956678e789459..ccb87c0aaec3e431a0026700565194bf68de1bab 100644
|
| --- a/third_party/WebKit/public/web/WebSettings.h
|
| +++ b/third_party/WebKit/public/web/WebSettings.h
|
| @@ -236,6 +236,7 @@ public:
|
| // event handlers specified. User can also trigger click handlers for such
|
| // elements using SPACE or ENTER keys.
|
| virtual void setSpatialNavigationEnabled(bool) = 0;
|
| + virtual void setSpellCheckEnabledByDefault(bool) = 0;
|
| virtual void setStandardFontFamily(const WebString&, UScriptCode = USCRIPT_COMMON) = 0;
|
| virtual void setStrictMixedContentChecking(bool) = 0;
|
| virtual void setStrictMixedContentCheckingForPlugin(bool) = 0;
|
|
|