[epiphany] Improve the selection of the system serif font.
- From: Xan Lopez <xan src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [epiphany] Improve the selection of the system serif font.
- Date: Fri, 11 Mar 2011 19:25:30 +0000 (UTC)
commit d9988616e498950ffa1c48023c715acf20c06958
Author: Martin Robinson <mrobinson igalia com>
Date: Fri Mar 11 09:31:02 2011 -0800
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
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 daea9fb..bcd479e 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",
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]