Index: chrome/browser/resources/options/font_settings.js |
diff --git a/chrome/browser/resources/options/font_settings.js b/chrome/browser/resources/options/font_settings.js |
index dfde2f60e22c21b39e4e79c2b236e49f0f880863..0276423cc88f90d74290bc1a3619b61500236822 100644 |
--- a/chrome/browser/resources/options/font_settings.js |
+++ b/chrome/browser/resources/options/font_settings.js |
@@ -75,6 +75,9 @@ cr.define('options', function() { |
* @private |
*/ |
standardRangeChanged_: function(el, value) { |
+ Preferences.setIntegerPref('webkit.webprefs.default_fixed_font_size', |
groby-ooo-7-16
2011/10/04 01:48:07
Please call this in a prefChanged callback - as th
|
+ value, ''); |
+ |
var fontSampleEl = $('standard-font-sample'); |
this.setUpFontSample_(fontSampleEl, value, fontSampleEl.style.fontFamily, |
true); |
@@ -86,6 +89,10 @@ cr.define('options', function() { |
fontSampleEl = $('sans-serif-font-sample'); |
this.setUpFontSample_(fontSampleEl, value, fontSampleEl.style.fontFamily, |
true); |
+ |
+ fontSampleEl = $('fixed-font-sample'); |
+ this.setUpFontSample_(fontSampleEl, value, fontSampleEl.style.fontFamily, |
+ true); |
}, |
/** |