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; |