| Index: chrome/browser/resources/options/preferences.js
|
| diff --git a/chrome/browser/resources/options/preferences.js b/chrome/browser/resources/options/preferences.js
|
| index 1b2423370e355e29691c84248209aa0fcec4b054..ccd3bd7fd03587cfd1450ecfe9c37b762ad2ae2f 100644
|
| --- a/chrome/browser/resources/options/preferences.js
|
| +++ b/chrome/browser/resources/options/preferences.js
|
| @@ -69,10 +69,10 @@ cr.define('options', function() {
|
| * @param {number} value New preference value.
|
| * @param {string} metric User metrics identifier.
|
| */
|
| - Preferences.setRealPref = function(name, value, metric) {
|
| + Preferences.setDoublePref = function(name, value, metric) {
|
| var argumentList = [name, String(value)];
|
| if (metric != undefined) argumentList.push(metric);
|
| - chrome.send('setRealPref', argumentList);
|
| + chrome.send('setDoublePref', argumentList);
|
| };
|
|
|
| /**
|
|
|