From fb534c949f92bec8c6312b58ffcc04c5dc488f2d Mon Sep 17 00:00:00 2001 From: "arv@chromium.org" Date: Tue, 1 Feb 2011 01:02:07 +0000 Subject: Rename Real* to Double* in values.* and dependent files BUG=None TEST=Compiles and passes all tests Review URL: http://codereview.chromium.org/6248026 git-svn-id: svn://svn.chromium.org/chrome/trunk/src@73232 0039d316-1c4b-4281-b951-d872f2087c98 --- chrome/browser/resources/options/preferences.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'chrome/browser/resources/options/preferences.js') diff --git a/chrome/browser/resources/options/preferences.js b/chrome/browser/resources/options/preferences.js index 1b242337..ccd3bd7 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); }; /** -- cgit v1.1