! Please note that this is a snapshot of our old Bugzilla server, which is read only since May 29, 2020. Please go to gitlab.xfce.org for our new server !
Cosmetic, define a margin for icons in tasklist buttons
Status:
RESOLVED: FIXED
Product:
Xfce4-panel
Component:
General

Comments

Description Olivier Duchateau 2017-09-17 16:05:39 CEST
Created attachment 7322 
Add a margin for icons in tasklist

There is no margin for icons in tasklist (if we use the Gtk3 Adwaita theme). In my patch I defined a margin of 3px (I don't know, if we need more or less).
Comment 1 Olivier Duchateau 2017-10-01 10:00:15 CEST
Created attachment 7337 
Define space between icons and labels in tasklist

Instead of using gtk_widget_set_margin_* functions. New patch which defines new CSS property (works fine when panel is horizontal and vertical).
Comment 2 Git Bot editbugs 2017-10-15 23:09:36 CEST
Simon Steinbeiss referenced this bugreport in commit 589515347c797c10374ae1f39d694746707d91b0

tasklist: Define cosmetic default padding for images (Bug #13865)

https://git.xfce.org/xfce/xfce4-panel/commit?id=589515347c797c10374ae1f39d694746707d91b0
Comment 3 Simon Steinbeiss editbugs 2017-10-15 23:10:42 CEST
Thanks Olivier, I should've added this to the panel instead of Greybird from the start.

I amended your patch a little (adding a widget name is not necessary, because the css is mapped only to the context of the single widget).

Bug #13865

Reported by:
Olivier Duchateau
Reported on: 2017-09-17
Last modified on: 2017-10-15

People

Assignee:
Nick Schermer
CC List:
0 users

Version

Version:
4.13.1

Attachments

Add a margin for icons in tasklist (858 bytes, patch)
2017-09-17 16:05 CEST , Olivier Duchateau
no flags
Define space between icons and labels in tasklist (1.86 KB, patch)
2017-10-01 10:00 CEST , Olivier Duchateau
no flags

Additional information