| 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 ef2f4ad0e510f314e216d0f1c37e88671ee81bc4..09fa2b866490a5b385ea1303af9f3b771d5a0220 100644
|
| --- a/third_party/WebKit/public/web/WebSettings.h
|
| +++ b/third_party/WebKit/public/web/WebSettings.h
|
| @@ -238,6 +238,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;
|
|
|