About gnome panel menu item height

[Santanu Chatterjee]

On Sat, Apr 26, 2008 at 3:00 PM, Mario Vukelic
<mario.vukelic at dantian.org> wrote:
>  There will be a menu with these entries
>
>       * Add to Panel
>       * Properties
>       * Delete this Panel
>       * New Panel
>       * Help
>       * About Panels
>
>  Choose the entry, "Properties". Enter any size you want and close.

Uh.. no. I did not mean this actually. Let me explain. When I click on
the 'Menu' (the one with the 'Applications', 'Places', and 'System' on them)
on the gnome-panel, I get a menu with (for the
Applications menu) things like Accessories, Games, etc. I am
calling these the 'items' of the Applications menu. The height of
these items are too much for my taste... for instance, there is quite
a bit of space above and below the text of say, 'Games' item. I just
want to remove that space so that I get a sleeker menu.

Regards,
Santanu Chatterjee