commit 7a52f265434b089a0fb62708b197640a46229144
author Victoria Lease <violets@google.com> Fri Mar 30 11:04:24 2012 -0700
committer Victoria Lease <violets@google.com> Fri Mar 30 14:08:02 2012 -0700
tree eb06a93752dec465ae42283bf92cf7928b4718a1
parent 5eeee5e0bbf5aba0097a510b3e9dbb286b2b30cd

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

Bug: 5218987
Change-Id: Id59324ad372df76cff8d2cae8606201db6e8d636

core/java/android/webkit/WebSettingsClassic.java

diff --git a/core/java/android/webkit/WebSettingsClassic.java b/core/java/android/webkit/WebSettingsClassic.java
index c41bc00..94b46fc 100644
--- a/core/java/android/webkit/WebSettingsClassic.java
+++ b/core/java/android/webkit/WebSettingsClassic.java
@@ -90,6 +90,7 @@
     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 @@
     }
 
     /**
+     * Enables/disables HTML5 link "prefetch" parameter.
+     */
+    public synchronized void setLinkPrefetchEnabled(boolean flag) {
+        if (mLinkPrefetchEnabled != flag) {
+            mLinkPrefetchEnabled = flag;
+            postSync();
+        }
+    }
+
+    /**
      * @see android.webkit.WebSettings#getJavaScriptEnabled()
      */
     @Override