[easytag/wip/application-window: 52/70] Avoid deprecated margin property with GTK+ 3.12

[David King <davidk src gnome org>]

commit 3df08fdc0cc8924acbbb385e28e7244450f7cc73
Author: David King <amigadave amigadave com>
Date:   Mon Jul 14 17:16:01 2014 +0100

    Avoid deprecated margin property with GTK+ 3.12

 src/gtk2_compat.c |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/src/gtk2_compat.c b/src/gtk2_compat.c
index e9d56fd..530bd9d 100644
--- a/src/gtk2_compat.c
+++ b/src/gtk2_compat.c
@@ -25,8 +25,13 @@ void et_grid_attach_full (GtkGrid *grid, GtkWidget *child, gint left, gint top,
     g_object_set (G_OBJECT(child),
                   "hexpand", hexpand,
                   "vexpand", vexpand,
+#if GTK_CHECK_VERSION (3, 12, 0)
+                  "margin-start", hmargin,
+                  "margin-end", hmargin,
+#else
                   "margin-left", hmargin,
                   "margin-right", hmargin,
+#endif
                   "margin-top", vmargin,
                   "margin-bottom", vmargin,
                   NULL);