Update RenderPreferences on GTK change.

chrome/common/gtk_util.h

Index: chrome/common/gtk_util.h
diff --git a/chrome/common/gtk_util.h b/chrome/common/gtk_util.h
index 4eab8c670a8ae0750006590fa765d70ff71671c5..f92c3adfd224f04ee547563f320a791e44a62f12 100644
--- a/chrome/common/gtk_util.h
+++ b/chrome/common/gtk_util.h
@@ -156,10 +156,9 @@ void SetLabelColor(GtkWidget* label, const GdkColor* color);
 // Adds the given widget to an alignment identing it by |kGroupIndent|.
 GtkWidget* IndentWidget(GtkWidget* content);
 
-// Initialize the font settings in |prefs| (used when creating new renderers)
-// based on GtkSettings (which itself comes from XSETTINGS).
-void InitRendererPrefsFromGtkSettings(RendererPreferences* prefs,
-                                      bool use_gtk_theme);
+// Sets (or resets) the font settings in |prefs| (used when creating new
+// renderers) based on GtkSettings (which itself comes from XSETTINGS).
+void UpdateGtkFontSettings(RendererPreferences* prefs);
 
 // Get the current location of the mouse cursor relative to the screen.
 gfx::Point ScreenPoint(GtkWidget* widget);