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
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to