Might make sense. I'll discuss with the theme people. Can you forward this bug upstream?
Thanks -- gnome-panel should allow to set margin/padding for icons on panel https://launchpad.net/bugs/43232 -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
