diff options
| author | Sebastien Bacher <seb128@ubuntu.com> | 2016-03-17 13:57:41 +0100 |
|---|---|---|
| committer | Carlos Soriano <csoriano@gnome.org> | 2016-04-14 11:47:31 +0200 |
| commit | c1e82bf2767b0175625b0df59b31c0851f37288c (patch) | |
| tree | cad98d6f20b40c880f2c4114cc50b482b3424def | |
| parent | 8e0c2a3fff88a578b721eb2f7d236f6459056aa2 (diff) | |
| download | gtk+-c1e82bf2767b0175625b0df59b31c0851f37288c.tar.gz | |
gtkplacessidebar: don't margins in the code
those should rather be defined by the theme
https://bugzilla.gnome.org/show_bug.cgi?id=763768
| -rw-r--r-- | gtk/gtkplacessidebar.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gtk/gtkplacessidebar.c b/gtk/gtkplacessidebar.c index ed3d643073..cbe385d429 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); |