Index: chrome/android/java/src/org/chromium/chrome/browser/preferences/ChromePreferenceManager.java |
diff --git a/chrome/android/java/src/org/chromium/chrome/browser/preferences/ChromePreferenceManager.java b/chrome/android/java/src/org/chromium/chrome/browser/preferences/ChromePreferenceManager.java |
index c19b4c1367d56717097599fcc2798965b3f1c2fd..c677607838e98a854260db8bf4a717d6fdf11f3e 100644 |
--- a/chrome/android/java/src/org/chromium/chrome/browser/preferences/ChromePreferenceManager.java |
+++ b/chrome/android/java/src/org/chromium/chrome/browser/preferences/ChromePreferenceManager.java |
@@ -357,17 +357,25 @@ public class ChromePreferenceManager { |
/** |
* Writes the given int value to the named shared preference. |
- * |
* @param key The name of the preference to modify. |
* @param value The new value for the preference. |
*/ |
- private void writeInt(String key, int value) { |
+ public void writeInt(String key, int value) { |
SharedPreferences.Editor ed = mSharedPreferences.edit(); |
ed.putInt(key, value); |
ed.apply(); |
} |
/** |
+ * Reads the given int value from the named shared preference. |
+ * @param key The name of the preference to return. |
+ * @return The value of the preference. |
+ */ |
+ public int readInt(String key) { |
+ return mSharedPreferences.getInt(key, 0); |
+ } |
+ |
+ /** |
* Writes the given String to the named shared preference. |
* |
* @param key The name of the preference to modify. |