[anjuta/gnome-3-8] sourceview: bgo #703637 - Set monospace font as default font
- From: Michael Catanzaro <mcatanzaro src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [anjuta/gnome-3-8] sourceview: bgo #703637 - Set monospace font as default font
- Date: Fri, 5 Jul 2013 15:54:01 +0000 (UTC)
commit da5b67fa920d9ec9e4122ede8670a7d50b2550df
Author: Arnel A. Borja <arnelborja src gnome org>
Date: Fri Jul 5 19:56:02 2013 +0800
sourceview: bgo #703637 - Set monospace font as default font
Use settings from monospace-font-name key of org.gnome.desktop.interface
settings schema instead of document-font-name key as the default font.
plugins/sourceview/sourceview-prefs.c | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/sourceview/sourceview-prefs.c b/plugins/sourceview/sourceview-prefs.c
index d9cfec7..c33a1b5 100644
--- a/plugins/sourceview/sourceview-prefs.c
+++ b/plugins/sourceview/sourceview-prefs.c
@@ -47,7 +47,7 @@
#define FONT_THEME "font-use-theme"
#define FONT "font"
#define FONT_SCHEMA "org.gnome.desktop.interface"
-#define GNOME_DOCUMENT_FONT "document-font-name"
+#define GNOME_MONOSPACE_FONT "monospace-font-name"
static void
on_notify_view_spaces (GSettings* settings,
@@ -176,7 +176,7 @@ on_notify_font_theme (GSettings* settings,
{
GSettings* font_settings = g_settings_new (FONT_SCHEMA);
gchar* desktop_font = g_settings_get_string (font_settings,
- GNOME_DOCUMENT_FONT);
+ GNOME_MONOSPACE_FONT);
if (desktop_font)
anjuta_view_set_font(sv->priv->view, FALSE, desktop_font);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]