About gnome panel menu item height

[Santanu Chatterjee]

On Sat, Apr 26, 2008 at 3:23 PM, Mario Vukelic
<mario.vukelic at dantian.org> wrote:

>  I see. I'm not sure, but I'd not be surprised if you would have to
>  change that in the source code and recompile.

Eeek! That would be troublesome. I was looking for an easier way.

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. But I can't find that document now...
and I don't remember what I read there :-(

Regards,
Santanu