Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

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

share|improve this question
    
ok got it [Settings] gtk-icon-sizes = panel-menu-bar=16,16:panel-menu=16,16 –  c3sso Jan 4 '12 at 15:42
add comment

1 Answer

As per your comment:

[Settings]
gtk-icon-sizes = panel-menu-bar=16,16:panel-menu=16,16
share|improve this answer
    
Worked Like A Charm... But it needed a bit of elbow grease :-) I made a the following folder/file and added the above [setting] and got it to work. .config/gtk-3.0/settings.ini I bet I could tweak the interface even further using the gnome-color-chooser –  user133417 Feb 20 '13 at 18:46
    
I tried gtk-button=16,16:gtk-small-toolbar=16,16:. But it didn't work.The most annoying things in GTK3 are those big bubbly buttons & toolbars. Hoe can I re-size them? Using Gnome color chooser? Is it hard-codded in gtk3 widgets? –  Khurshid Alam Feb 21 '13 at 9:17
    
where exactly I can find this file? –  Ayush Goyal Oct 17 '13 at 7:05
    
@AyushGoyal ~/.config/gtk-3.0/settings.ini –  jrg Oct 17 '13 at 12:53
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.