! 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] Use better border sizes
Status:
RESOLVED: FIXED
Severity:
enhancement
Product:
Xfce4-diskperf-plugin
Component:
General

Comments

Description Harald Judt 2012-05-28 10:26:22 CEST
Created attachment 4471 
xfce4-diskperf-plugin-border-size.patch

Use better border sizes dependent on the panel size.

Use 0px on very small panels, which look ugly anyway and where
the only concern is to preserve as much space as possible.

Use 1px on small panels to optimize for the use of space, while
still trying to preserve a good look.

Use 2px for bigger panel sizes. Looks pretty and does not waste
space unnecessarily.
Comment 1 Landry Breuil editbugs 2013-09-14 10:29:18 CEST
I think this has been rendered moot by http://git.xfce.org/panel-plugins/xfce4-diskperf-plugin/commit/?id=c155f4c6c9822c087dabe71e454fc0243454d504 .. harald, maybe we can close this bug ?
Comment 2 Harald Judt 2013-09-14 13:17:56 CEST
Yes, I think so.

Bug #8957

Reported by:
Harald Judt
Reported on: 2012-05-28
Last modified on: 2013-09-14

People

Assignee:
Florian Rivoal
CC List:
1 user

Version

Attachments

Additional information