Tidy up <select>s in tabbed options.

chrome/browser/resources/options/preferences.js

Index: chrome/browser/resources/options/preferences.js
diff --git a/chrome/browser/resources/options/preferences.js b/chrome/browser/resources/options/preferences.js
index 207a6f5469e0f01b2df0755a463d3288a8a80604..a9c7b05e577f46e88a9eaa506bf6c3a869342f85 100644
--- a/chrome/browser/resources/options/preferences.js
+++ b/chrome/browser/resources/options/preferences.js
@@ -63,6 +63,19 @@ cr.define('options', function() {
   };
 
   /**
+   * 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.