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); |
}; |
/** |