Можно уменьшить размер панели инструментов, добавив (или отредактировав) следующую строку в файл /etc/gtk-3.0/settings.ini
, чтобы сделать ваши иконки маленькими:
gtk-icon-sizes = panel-menu=16,16:gtk-large-toolbar=16,16
Затем вы заметите разницу в GTK-приложении, таком как gedit.
Вы также можете использовать эту команду для изменения размера панели инструментов всех приложений gnome:
gconftool-2 --set --type=string /desktop/gnome/interface/toolbar_icons_size "small-toolbar"
и эту команду для восстановления больших иконок по умолчанию
gconftool-2 --set --type=string /desktop/gnome/interface/toolbar_icons_size "large-toolbar"