diff options
| author | Martin Robinson <mrobinson@igalia.com> | 2011-03-12 01:31:02 +0800 |
|---|---|---|
| committer | Xan Lopez <xlopez@igalia.com> | 2011-03-12 03:22:46 +0800 |
| commit | d9988616e498950ffa1c48023c715acf20c06958 (patch) | |
| tree | 530b18e5447435134fbf338546db51f4ddc4b7d0 /embed | |
| parent | 49455469a50207339759ec980e16d3bfdcb6d2fb (diff) | |
| download | gsoc2013-epiphany-d9988616e498950ffa1c48023c715acf20c06958.tar gsoc2013-epiphany-d9988616e498950ffa1c48023c715acf20c06958.tar.gz gsoc2013-epiphany-d9988616e498950ffa1c48023c715acf20c06958.tar.bz2 gsoc2013-epiphany-d9988616e498950ffa1c48023c715acf20c06958.tar.lz gsoc2013-epiphany-d9988616e498950ffa1c48023c715acf20c06958.tar.xz gsoc2013-epiphany-d9988616e498950ffa1c48023c715acf20c06958.tar.zst gsoc2013-epiphany-d9988616e498950ffa1c48023c715acf20c06958.zip | |
Improve the selection of the system serif font.
Instead of using the Gnome interface font as the default serif font, use the
Gnome document font. The document font has an increased chance of being a serif
font over the interface font.
Bug #644521
Diffstat (limited to 'embed')
| -rw-r--r-- | embed/ephy-embed-prefs.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/embed/ephy-embed-prefs.c b/embed/ephy-embed-prefs.c index daea9fb8e..bcd479e40 100644 --- a/embed/ephy-embed-prefs.c +++ b/embed/ephy-embed-prefs.c @@ -359,16 +359,15 @@ webkit_pref_callback_gnome_fonts (GSettings *ephy_settings, if (g_settings_get_boolean (ephy_settings, key)) { settings = ephy_settings_get ("org.gnome.desktop.interface"); - webkit_pref_callback_font_size (settings, "font-name", + webkit_pref_callback_font_size (settings, "document-font-name", "default-font-size"); webkit_pref_callback_font_size (settings, "monospace-font-name", "default-monospace-font-size"); - webkit_pref_callback_font_family (settings, "font-name", + webkit_pref_callback_font_family (settings, "document-font-name", "default-font-family"); webkit_pref_callback_font_family (settings, "font-name", "sans-serif-font-family"); - webkit_pref_callback_font_family (settings, "monospace-font-name", "monospace-font-family"); } else { @@ -397,7 +396,7 @@ static const PrefData webkit_pref_entries[] = { /* GNOME font settings */ { "org.gnome.desktop.interface", - "font-name", + "document-font-name", "default-font-size", webkit_pref_callback_font_size }, { "org.gnome.desktop.interface", @@ -405,7 +404,7 @@ static const PrefData webkit_pref_entries[] = "default-monospace-font-size", webkit_pref_callback_font_size }, { "org.gnome.desktop.interface", - "font-name", + "document-font-name", "default-font-family", webkit_pref_callback_font_family }, { "org.gnome.desktop.interface", |