Re: Padding 10 in gnome-panel

[Alexey Torkhov <atorkhov gmail com>]

On Mon, 2009-10-19 at 16:45 -0500, Mike Chambers wrote:
> Any chance instead of 10, maybe try using between 3-5 and see how that
> works?  It just seemed with 10, that the icons were a little *too* far
> apart and took up a whole lot more room.

I think too that it could be made smaller, but around 7 to match padding
in regular menus.

Alexey