commit 1e967148a0c715adbfcbceddda239a14f676bed9
author Pankaj Garg <pgarg@codeaurora.org> Fri Aug 07 09:05:10 2015 -0700
committer jrizzoli <joey@cyanogenmoditalia.it> Fri Aug 28 13:15:47 2015 +0200
tree 1626722c20ab2f09a6cf96264c8ecfb2505c83de
parent ffce0587a2e79d7614cf6957d49237ac656eb5cc

Initialize webrefiner setting if browser is reset to default

- The webrefiner setting was not reinitialized on browser reset
  to default. This caused webrefiner option to be removed from
  security and privacy panel.

Change-Id: I3d3c7807188509d941c63d8ebff116968de7cdd2

src/com/android/browser/BrowserSettings.java

diff --git a/src/com/android/browser/BrowserSettings.java b/src/com/android/browser/BrowserSettings.java
index debf6f8..cde500c 100644
--- a/src/com/android/browser/BrowserSettings.java
+++ b/src/com/android/browser/BrowserSettings.java
@@ -595,6 +595,11 @@
                 .clear()
                 .apply();
         resetCachedValues();
+        if (WebRefiner.getInstance() != null) {
+            mPrefs.edit().putBoolean(PREF_WEB_REFINER, true).apply();
+        } else {
+            mPrefs.edit().putBoolean(PREF_WEB_REFINER, false).apply();
+        }
         syncManagedSettings();
     }