I have searched several hours, but did not find an answer yet:
changing the size of the gnome panel menu (the Applications menu that is provided by Main Menu and Menu Bar applets, that is.) in Gnome Fallback Mode / Classic Panel (which is a fork GFBM)
in classic gnome, I can change the icon size (and thus the dimension of the whole menu, thats what I am after) via these entries in .gtkrc
gtk-icon-sizes = "gtk-menu=16,16:gtk-button=16,16:gtk-dnd=16,16:panel-menu=16,16:panel=16,16:gtk-dialog=16,16:gtk-small-toolbar=16,16:"
now I looked into the gtk-icon-sizes entry in gnome3/gtk3 documentation, and panel-menu=16,16:panel=16,16 seem to be missing in version 3. putting these into ~/.config/gtk-3.0/settings.ini thus did not help either.
I figureed out that the style settings for fallback mode is in /apps/gnome-panel.css , but I did not see anything releated to size there, just color.
does anybody have a clue how to accomplish that?
thanks in advance