About gnome panel menu item height

[Mario Vukelic]

On Sat, 2008-04-26 at 15:42 +0530, Santanu Chatterjee wrote:
> I read somewhere (probably on a SuSE centric page) quite sometime
> ago (a year maybe) where it was mentioned that what I wanted could be
> done via some line in ~/.gtkrc file.

Of course, that seems reasonable: when playing with themes, it seems
that different themes set this spacing differently, so it seems
reasonable that once can change it in gtkrc.

Maybe you can find something here:
http://www.gtk.org/~otaylor/gtk/2.0/theme-engines.html ?

Or here http://library.gnome.org/devel/gtk/2.12/