Rename Real* to Double* in values.* and dependent files

chrome/browser/resources/options/preferences.js

 // Copyright (c) 2010 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 cr.define('options', function() {
 
   /////////////////////////////////////////////////////////////////////////////
   // Preferences class:
 
   /**
@@ skipping 51 matching lines @@
     chrome.send('setIntegerPref', argumentList);
   };
 
   /**
    * Sets value of a real-valued preference.
    * and signals its changed value.
    * @param {string} name Preference name.
    * @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);
   };
 
   /**
    * Sets value of a string preference.
    * and signals its changed value.
    * @param {string} name Preference name.
    * @param {string} value New preference value.
    * @param {string} metric User metrics identifier.
    */
   Preferences.setStringPref = function(name, value, metric) {
@@ skipping 98 matching lines @@
     Preferences.getInstance().dispatchEvent(event);
   };
 
   // Export
   return {
     Preferences: Preferences
   };
 
 });