I've forwarded that upstream:
http://bugzilla.gnome.org/show_bug.cgi?id=343436
** Changed in: gnome-applets (Ubuntu)
Status: Needs Info => Confirmed
** Bug watch added: GNOME Bug Tracker #343436
http://bugzilla.gnome.org/show_bug.cgi?id=343436
** Also affects: gnome-panel (upstream) via
http://bugzilla.gnome.org/show_bug.cgi?id=343436
Severity: Unknown
Priority: Unknown
Status: Unknown
--
gnome-panel should allow to set margin/padding for icons on panel
https://launchpad.net/bugs/43232
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
