Как уменьшить значки главного меню GNOME
 

Пробовал gnome-color-chooser и ручную правку gtkrc-2.0, не помогло.Неожиданно проблема решилась путем вмешательства lxde-settings. После закрытия иконки вернулись, а вот размер значков закрепился. Но тут некоторые недочеты, например global-menu перестал работать. Так что, надо обойтись без собственными средствами.В gconf тоже ничего не нашел; смотрел резделы apps и desktop.