! 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 !
Please, add a little margin around window buttons
Status:
RESOLVED: WONTFIX
Product:
Xfce4-panel
Component:
Window Buttons

Comments

Description Илья 2019-08-03 06:07:24 CEST
Created attachment 8837 
Screenshow, how it looks like

It was missed some time ago, and now, panel looks not very nice.
Comment 1 Simon Steinbeiss editbugs 2019-08-03 23:07:00 CEST
Sorry but even from your screenshot I'm not sure I understand what you mean.
Comment 2 Илья 2019-08-09 21:10:20 CEST
I mean the little vertical top and bottom padding for elements of panel. First of all it is a windows buttons . They are uses all available  vertical space of panel. Workplace switcher has similar look.

I think, all elements on panel should have a little padding (or margin if you like). 

On screenshot you can see 1 pixel lines around a terminal window button painted by me.
Comment 3 Simon Steinbeiss editbugs 2019-10-02 21:27:34 CEST
This is up to the Gtk theme, so nothing the panel would handle or enforce. You can either decide to modify your Gtk theme or put a gtk.css file in your $HOME/.config/gtk-3.0/ directory adding a margin.

.xfce4-panel .tasklist button { margin: 1px; }

Bug #15774

Reported by:
Илья
Reported on: 2019-08-03
Last modified on: 2019-10-02

People

Assignee:
Xfce Bug Triage
CC List:
1 user

Version

Version:
Unspecified

Attachments

Screenshow, how it looks like (24.21 KB, image/png)
2019-08-03 06:07 CEST , Илья
no flags

Additional information