| Index: Source/WebKit/chromium/public/WebSettings.h
|
| diff --git a/Source/WebKit/chromium/public/WebSettings.h b/Source/WebKit/chromium/public/WebSettings.h
|
| index 6dd77c7f46d9b09ac61143e5b0f663bf882f9ff9..a1da0c751d7c8dc6c755d9865a631b98689d18ef 100644
|
| --- a/Source/WebKit/chromium/public/WebSettings.h
|
| +++ b/Source/WebKit/chromium/public/WebSettings.h
|
| @@ -149,6 +149,7 @@ public:
|
| virtual void setShowPaintRects(bool) = 0;
|
| virtual void setShrinksStandaloneImagesToFit(bool) = 0;
|
| virtual void setSmartInsertDeleteEnabled(bool) = 0;
|
| + virtual void setSpatialNavigationEnabled(bool) = 0;
|
| virtual void setStandardFontFamily(const WebString&, UScriptCode = USCRIPT_COMMON) = 0;
|
| virtual void setSupportDeprecatedTargetDensityDPI(bool) = 0;
|
| virtual void setSupportsMultipleWindows(bool) = 0;
|
|
|