gtkplacessidebar: don't margins in the code

those should rather be defined by the theme
https://bugzilla.gnome.org/show_bug.cgi?id=763768
This commit is contained in:
Sebastien Bacher 2016-03-17 13:57:41 +01:00 committed by Carlos Soriano
parent 46cdb44fdd
commit e92eaaa049

View File

@ -3345,8 +3345,6 @@ append_separator (GtkWidget *box)
separator = g_object_new (GTK_TYPE_SEPARATOR, separator = g_object_new (GTK_TYPE_SEPARATOR,
"orientation", GTK_ORIENTATION_HORIZONTAL, "orientation", GTK_ORIENTATION_HORIZONTAL,
"visible", TRUE, "visible", TRUE,
"margin-start", 12,
"margin-end", 12,
"margin-top", 6, "margin-top", 6,
"margin-bottom", 6, "margin-bottom", 6,
NULL); NULL);