[Bug 43232] Re: gnome-panel should allow to set margin/padding for icons on panel

Vincent Untz vincent at vuntz.net
Tue May 30 06:46:03 UTC 2006

Previous message: [Bug 43232] Re: gnome-panel should allow to set margin/padding for icons on panel
Next message: [Bug 43232] Re: gnome-panel should allow to set margin/padding for icons on panel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [Bug 43232] Re: gnome-panel should allow to set margin/padding for icons on panel
Next message: [Bug 43232] Re: gnome-panel should allow to set margin/padding for icons on panel
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the desktop-bugs mailing list