aboutsummaryrefslogtreecommitdiffstats
path: root/embed
diff options
context:
space:
mode:
authorMartin Robinson <mrobinson@igalia.com>2011-03-12 01:31:02 +0800
committerXan Lopez <xlopez@igalia.com>2011-03-12 03:22:46 +0800
commitd9988616e498950ffa1c48023c715acf20c06958 (patch)
tree530b18e5447435134fbf338546db51f4ddc4b7d0 /embed
parent49455469a50207339759ec980e16d3bfdcb6d2fb (diff)
downloadgsoc2013-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.c9
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",