Tidy up <select>s in tabbed options.

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 45 matching lines @@
    * @param {number} value New preference value.
    * @param {string} metric User metrics identifier.
    */
   Preferences.setIntegerPref = function(name, value, metric) {
     var arguments = [name, String(value)];
     if (metric != undefined) arguments.push(metric);
     chrome.send('setIntegerPref', arguments);
   };
 
   /**
+   * 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) {
+    var arguments = [name, String(value)];
+    if (metric != undefined) arguments.push(metric);
+    chrome.send('setRealPref', arguments);
+  };
+
+  /**
    * 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) {
     var arguments = [name, value];
     if (metric != undefined) arguments.push(metric);
     chrome.send('setStringPref', arguments);
@@ skipping 95 matching lines @@
     Preferences.getInstance().dispatchEvent(event);
   };
 
   // Export
   return {
     Preferences: Preferences
   };
 
 });