diff options
| author | Ben Murdoch <benm@google.com> | 2011-12-16 10:48:40 +0000 |
|---|---|---|
| committer | Ben Murdoch <benm@google.com> | 2011-12-16 10:50:43 +0000 |
| commit | a466d9662015e0d43457297292264d80c7e3f4d7 (patch) | |
| tree | 4e08a6d547fdc3d9c90aadb8e5aba6f6e92a6e75 | |
| parent | e630a97c2561457febd048afa7ec7d098791df31 (diff) | |
| download | external_webkit-a466d9662015e0d43457297292264d80c7e3f4d7.zip external_webkit-a466d9662015e0d43457297292264d80c7e3f4d7.tar.gz external_webkit-a466d9662015e0d43457297292264d80c7e3f4d7.tar.bz2 | |
Enable History API.
The HTML5 History API is disabled at runtime by default in WebKit.
Configure it to be enabled.
Bug: 5767904
Change-Id: Ic6b6860ca4bfe891e84fb0445d67c7ea728c6fe3
| -rw-r--r-- | Source/WebKit/android/jni/WebViewCore.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Source/WebKit/android/jni/WebViewCore.cpp b/Source/WebKit/android/jni/WebViewCore.cpp index 48eefed..f8791f5 100644 --- a/Source/WebKit/android/jni/WebViewCore.cpp +++ b/Source/WebKit/android/jni/WebViewCore.cpp @@ -101,6 +101,7 @@ #include "RenderThemeAndroid.h" #include "RenderView.h" #include "ResourceRequest.h" +#include "RuntimeEnabledFeatures.h" #include "SchemeRegistry.h" #include "SelectionController.h" #include "Settings.h" @@ -467,6 +468,12 @@ WebViewCore::WebViewCore(JNIEnv* env, jobject javaWebViewCore, WebCore::Frame* m // initialisation. v8::V8::Initialize(); #endif + + // Configure any RuntimeEnabled features that we need to change from their default now. + // See WebCore/bindings/generic/RuntimeEnabledFeatures.h + + // HTML5 History API + RuntimeEnabledFeatures::setPushStateEnabled(true); } WebViewCore::~WebViewCore() |