! 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 !
[PATCH] Fix border width to be the same as the other panel plugins
Status:
RESOLVED: FIXED
Severity:
enhancement
Product:
Xfce4-timer-plugin
Component:
General

Comments

Description Harald Judt 2012-05-17 01:29:12 CEST
Created attachment 4422 
fix-border-width-to-be-the-same-as-the-other-plugins.patch

The other panels all add a small border. This patch makes the plugin match that behaviour.

Actually, most other panel plugins also don't set the size manually (see PBAR_THICKNESS), so there's a (though only slightly noticeable) difference too, but I didn't want to change that with this patch.
Comment 1 Kemal Ilgar Eroglu 2012-09-04 19:09:55 CEST
Thanks for the patch, this will be included in the next version 1.0.0 which I will release soon.

Bug #8894

Reported by:
Harald Judt
Reported on: 2012-05-17
Last modified on: 2012-09-04

People

Assignee:
Florian Rivoal
CC List:
0 users

Version

Version:
unspecified

Attachments

Additional information