From 12944d9c2357c146df11d5a5af947291c3e7d0b3 Mon Sep 17 00:00:00 2001 From: Carlos Garnacho Date: Mon, 10 Jan 2011 20:19:58 +0100 Subject: [PATCH] Do not set any padding for scrolled window children. --- gtk/gtkcssprovider.c | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/gtk/gtkcssprovider.c b/gtk/gtkcssprovider.c index 2541050e8c..c214505601 100644 --- a/gtk/gtkcssprovider.c +++ b/gtk/gtkcssprovider.c @@ -3620,7 +3620,7 @@ gtk_css_provider_get_default (void) " color: @selected_fg_color;\n" "}\n" "\n" - ".expander {\n" + ".expander, .view.expander {\n" " color: #fff;\n" "}\n" "\n" @@ -3771,6 +3771,10 @@ gtk_css_provider_get_default (void) " border-width: 1;\n" "}\n" "\n" + "GtkScrolledWindow.frame {\n" + " padding: 0;\n" + "}\n" + "\n" ".menu,\n" ".menubar,\n" ".toolbar {\n"