Я искал несколько часов, но пока не нашел ответа:
изменил размер меню панели гнома (меню «Приложения», которое предоставляется апплетами «Главное меню» и «Строка меню»). в Gnome Fallback Mode / Classic Panel (которая является форком GFBM)
в классическом gnome я могу изменить размер иконки (и, следовательно, размер всего меню, то, что мне нужно) через эти записи в .gtkrc
gtk-icon-sizes = "gtk-menu = 16,16: gtk-button = 16,16: gtk-dnd = 16,16: панель-меню = 16,16: панель = 16 , 16: gtk-dialog = 16,16: gtk-small-toolbar = 16,16: "
теперь я посмотрел запись gtk-icon-sizes в документации по gnome3 / gtk3 и панель-меню = 16,16: панель = 16,16, по-видимому, отсутствует в версии 3. размещение их в ~ / .config / gtk-3.0 / settings.ini, таким образом, также не помогло.
Я выяснил, что настройки стиля для режима отката находятся в /apps/gnome-panel.css, но я не увидел там ничего, соответствующего размеру, только цвет.
Кто-нибудь знает, как этого добиться?
заранее спасибо
Согласно вашему комментарию:
[Settings]
gtk-icon-sizes = panel-menu-bar=16,16:panel-menu=16,16