Merge "java-side enable/disable switch for link prefetch via WebSettings"

1 files changed, 11 insertions, 0 deletions

diff --git a/core/java/android/webkit/WebSettingsClassic.java b/core/java/android/webkit/WebSettingsClassic.java
index c41bc00045b0..94b46fc9bb04 100644
--- a/core/java/android/webkit/WebSettingsClassic.java
+++ b/core/java/android/webkit/WebSettingsClassic.java
@@ -90,6 +90,7 @@ public class WebSettingsClassic extends WebSettings {
     private boolean         mWorkersEnabled = false;  // only affects V8.
     private boolean         mGeolocationEnabled = true;
     private boolean         mXSSAuditorEnabled = false;
+    private boolean         mLinkPrefetchEnabled = false;
     // HTML5 configuration parameters
     private long            mAppCacheMaxSize = Long.MAX_VALUE;
     private String          mAppCachePath = null;
@@ -1305,6 +1306,16 @@ public class WebSettingsClassic extends WebSettings {
     }
 
     /**
+     * Enables/disables HTML5 link "prefetch" parameter.
+     */
+    public synchronized void setLinkPrefetchEnabled(boolean flag) {
+        if (mLinkPrefetchEnabled != flag) {
+            mLinkPrefetchEnabled = flag;
+            postSync();
+        }
+    }
+
+    /**
      * @see android.webkit.WebSettings#getJavaScriptEnabled()
      */
     @Override