| Index: chrome/browser/resources/options/pref_ui.js
 | 
| diff --git a/chrome/browser/resources/options/pref_ui.js b/chrome/browser/resources/options/pref_ui.js
 | 
| index 99db29866c73b97d0cbe4cca9c12b843b6e83228..3e8c965a20bae96d143359dfced32b8cb6029a8f 100644
 | 
| --- a/chrome/browser/resources/options/pref_ui.js
 | 
| +++ b/chrome/browser/resources/options/pref_ui.js
 | 
| @@ -411,7 +411,7 @@ cr.define('options', function() {
 | 
|                      self.options[self.selectedIndex].value, self.metric);
 | 
|                  break;
 | 
|                case 'real':
 | 
| -                Preferences.setRealPref(self.pref,
 | 
| +                Preferences.setDoublePref(self.pref,
 | 
|                      self.options[self.selectedIndex].value, self.metric);
 | 
|                  break;
 | 
|                case 'boolean':
 | 
| 
 |