| 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':
|
|
|