Hi. I’m wondering why was padding 10 added to default gnome-panel configuration? My panel at 1280x1024 with bunch of elements has now difficulties to fit them all. And at smaller resolutions, for example, at netbooks that wouldn’t be useful at all. Alexey