[gnome-terminal] screen: Use the right GSetting for the use-system-font key

[Christian Persch <chpe src gnome org>]

commit 7c92a6cf7f746861d3392189b68340fdf7cb89f3
Author: Christian Persch <chpe gnome org>
Date:   Sat Mar 9 23:28:32 2013 +0100

    screen: Use the right GSetting for the use-system-font key
    
    It's a key on the profile setting, not the desktop setting.
    
    https://bugzilla.redhat.com/show_bug.cgi?id=919715

 src/terminal-screen.c |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/src/terminal-screen.c b/src/terminal-screen.c
index 72617b9..8448238 100644
--- a/src/terminal-screen.c
+++ b/src/terminal-screen.c
@@ -1005,10 +1005,13 @@ terminal_screen_system_font_changed_cb (GSettings      *settings,
                                         const char     *key,
                                         TerminalScreen *screen)
 {
+  TerminalScreenPrivate *priv = screen->priv;
+  GSettings *profile = priv->profile;
+
   if (!gtk_widget_get_realized (GTK_WIDGET (screen)))
     return;
 
-  if (!g_settings_get_boolean (settings, TERMINAL_PROFILE_USE_SYSTEM_FONT_KEY))
+  if (!g_settings_get_boolean (priv->profile, TERMINAL_PROFILE_USE_SYSTEM_FONT_KEY))
     return;
 
   terminal_screen_set_font (screen);