[gnome-terminal] app: Suppress one more deprecated gtk settings warning

[Christian Persch <chpe src gnome org>]

commit 177689f8185847a160b1e13f649649398e031fdb
Author: Christian Persch <chpe gnome org>
Date:   Thu Jul 3 11:24:07 2014 +0200

    app: Suppress one more deprecated gtk settings warning
    
    This one is used from inside gtk+ by the GtkAction/GtkUIManager menus.

 src/terminal-window.c |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/src/terminal-window.c b/src/terminal-window.c
index 4f78109..e44283f 100644
--- a/src/terminal-window.c
+++ b/src/terminal-window.c
@@ -2618,6 +2618,9 @@ terminal_window_init (TerminalWindow *window)
                                    gaction_entries, G_N_ELEMENTS (gaction_entries),
                                    window);
 
+  /* The GtkAction/GtkUIManager menus access this from inside gtk+, so suppress the warning */
+  TERMINAL_UTIL_OBJECT_TYPE_UNDEPRECATE_PROPERTY (GTK_TYPE_SETTINGS, "gtk-menu-images");
+
   /* Create the UI manager */
   manager = priv->ui_manager = gtk_ui_manager_new ();