8894 – [PATCH] Fix border width to be the same as the other panel plugins

[PATCH] Fix border width to be the same as the other panel plugins

Status:

RESOLVED: FIXED

Priority:
Medium

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

Target Milestone:
---

Attachments

fix-border-width-to-be-the-same-as-the-other-plugins.patch (1.24 KB, patch)
2012-05-17 01:29 CEST , Harald Judt

no flags

Additional information