search

gw0kin / gnome2-globalmenu

Automatically exported from code.google.com/p/gnome2-globalmenu
GNU General Public License v2.0
0 stars 0 forks source link

Menu Spacing #612

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
This isn't a bug, but a suggestion that I think would be really easy to do. We 
should be able to change the amount of padding in pixels between each menu. In 
some themes, such as Ambiance, they look really cramped.

Original issue reported on code.google.com by maximumpayne2k8 on 16 Jun 2010 at 2:32