From ac91eeaeb3a552b2898fb09cffc8c127312bc84a Mon Sep 17 00:00:00 2001 From: Olivier Duchateau Date: Sun, 17 Sep 2017 15:58:55 +0200 Subject: [PATCH] Define a margin for icons in tasklist buttons --- plugins/tasklist/tasklist-widget.c | 1 + 1 file changed, 1 insertion(+) diff --git a/plugins/tasklist/tasklist-widget.c b/plugins/tasklist/tasklist-widget.c index 9dfe197b..302f8437 100644 --- a/plugins/tasklist/tasklist-widget.c +++ b/plugins/tasklist/tasklist-widget.c @@ -2155,6 +2155,7 @@ xfce_tasklist_child_new (XfceTasklist *tasklist) else gtk_box_pack_start (GTK_BOX (child->box), child->icon, TRUE, TRUE, 0); if (tasklist->minimized_icon_lucency > 0) + gtk_widget_set_margin_start (GTK_IMAGE (child->icon), 3); gtk_widget_show (child->icon); child->label = gtk_label_new (NULL); -- 2.13.5