! 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:
CLOSED: FIXED
Product:
Xfce4-netload-plugin
Component:
General

Comments

Description Harald Judt 2012-05-28 11:07:27 CEST
Created attachment 4473 
xfce4-netload-plugin-better-border.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 Mike Massonnet editbugs 2012-07-10 15:35:08 CEST
*** Bug 9074 has been marked as a duplicate of this bug. ***
Comment 2 Mike Massonnet editbugs 2012-07-14 18:43:23 CEST
Fixed in git.

http://git.xfce.org/panel-plugins/xfce4-netload-plugin/commit/?id=7434a7f1fbb4c35c92add675d5a0314cacda8671

Thanks for your patches.

Regards,
Mike

Bug #8959

Reported by:
Harald Judt
Reported on: 2012-05-28
Last modified on: 2012-07-15
Duplicates (1):
  • 9074 [PATCH] Add margin toggle option

People

Assignee:
Mike Massonnet
CC List:
2 users

Version

Attachments

Additional information