[gnome-terminal] Use the right symbol for resetting a settings property

[Emmanuele Bassi <ebassi src gnome org>]

commit 7354f24d03e31efda7bccafb6586581d939cf9d2
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Sun Oct 4 14:29:04 2015 +0100

    Use the right symbol for resetting a settings property
    
    The function in GTK+ 3.19 is called gtk_settings_reset_property(), not
    gtk_settings_reset().
    
    https://bugzilla.gnome.org/show_bug.cgi?id=756046

 src/terminal-app.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/terminal-app.c b/src/terminal-app.c
index 8e0369f..dfde524 100644
--- a/src/terminal-app.c
+++ b/src/terminal-app.c
@@ -317,7 +317,7 @@ terminal_app_theme_variant_changed_cb (GSettings   *settings,
 
   theme = g_settings_get_enum (settings, key);
   if (theme == TERMINAL_THEME_VARIANT_SYSTEM)
-    gtk_settings_reset (gtk_settings, GTK_SETTING_PREFER_DARK_THEME);
+    gtk_settings_reset_property (gtk_settings, GTK_SETTING_PREFER_DARK_THEME);
   else
     g_object_set (gtk_settings,
                   GTK_SETTING_PREFER_DARK_THEME,