| 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.
|
|
|