From e92eaaa0493f50ff9b9e01049c026cc42b8653e2 Mon Sep 17 00:00:00 2001
From: Sebastien Bacher <seb128@ubuntu.com>
Date: Thu, 17 Mar 2016 13:57:41 +0100
Subject: [PATCH] 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 file changed, 2 deletions(-)

diff --git a/gtk/gtkplacessidebar.c b/gtk/gtkplacessidebar.c
index de4bfaf671..4f012410ec 100644
--- a/gtk/gtkplacessidebar.c
+++ b/gtk/gtkplacessidebar.c
@@ -3345,8 +3345,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);