From e999f2b110703c9132575f4030c3eb5d3f43b6ba Mon Sep 17 00:00:00 2001 From: Olivier Duchateau Date: Sun, 1 Oct 2017 09:54:52 +0200 Subject: [PATCH] Add space between icons and labels in tasklist buttons --- plugins/tasklist/tasklist-widget.c | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/plugins/tasklist/tasklist-widget.c b/plugins/tasklist/tasklist-widget.c index 9dfe197b..42bfb7f3 100644 --- a/plugins/tasklist/tasklist-widget.c +++ b/plugins/tasklist/tasklist-widget.c @@ -2130,6 +2130,7 @@ static XfceTasklistChild * xfce_tasklist_child_new (XfceTasklist *tasklist) { XfceTasklistChild *child; + GtkCssProvider *provider; panel_return_val_if_fail (XFCE_IS_TASKLIST (tasklist), NULL); @@ -2150,12 +2151,22 @@ xfce_tasklist_child_new (XfceTasklist *tasklist) gtk_widget_show (child->box); child->icon = gtk_image_new (); + gtk_widget_set_name (GTK_WIDGET (child->icon), "tasklist-image"); + provider = gtk_css_provider_new (); + gtk_css_provider_load_from_data (provider, + "#tasklist-image {" + "padding: 3px;" + "}", -1, NULL); if (tasklist->show_labels) gtk_box_pack_start (GTK_BOX (child->box), child->icon, FALSE, TRUE, 0); else gtk_box_pack_start (GTK_BOX (child->box), child->icon, TRUE, TRUE, 0); if (tasklist->minimized_icon_lucency > 0) - gtk_widget_show (child->icon); + { + gtk_style_context_add_provider (GTK_STYLE_CONTEXT (gtk_widget_get_style_context (GTK_WIDGET (child->icon))), GTK_STYLE_PROVIDER (provider), GTK_STYLE_PROVIDER_PRIORITY_APPLICATION); + gtk_widget_show (child->icon); + g_object_unref (provider); + } child->label = gtk_label_new (NULL); gtk_box_pack_start (GTK_BOX (child->box), child->label, TRUE, TRUE, 0); -- 2.13.6