[gtk+/gtk-3-20] gtkplacessidebar: don't margins in the code

[Carlos Soriano Sánchez <csoriano src gnome org>]

commit c1e82bf2767b0175625b0df59b31c0851f37288c
Author: Sebastien Bacher <seb128 ubuntu com>
Date:   Thu Mar 17 13:57:41 2016 +0100

    gtkplacessidebar: don't margins in the code
    
    those should rather be defined by the theme
    https://bugzilla.gnome.org/show_bug.cgi?id=763768

 gtk/gtkplacessidebar.c |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/gtk/gtkplacessidebar.c b/gtk/gtkplacessidebar.c
index ed3d643..cbe385d 100644
--- a/gtk/gtkplacessidebar.c
+++ b/gtk/gtkplacessidebar.c
@@ -3344,8 +3344,6 @@ append_separator (GtkWidget *box)
   separator = g_object_new (GTK_TYPE_SEPARATOR,
                             "orientation", GTK_ORIENTATION_HORIZONTAL,
                             "visible", TRUE,
-                            "margin-start", 12,
-                            "margin-end", 12,
                             "margin-top", 6,
                             "margin-bottom", 6,
                             NULL);