Теперь чтоб в GTK-3 уменьшить значки на toolbar’ах, его пересобирать надо, да?
Добрых всем суток.
Гномом я не пользуюсь — если и стояли какие программы с интерфейсом на
GTK, то на втором, посему в отношении новых тенденций в GTK я пребывал в
совершенном неведении. Но поставил тут Wireshark, а он на GTK-3. Я не
эстет, и как-нибудь переживу искоробочное оформление, которое теперь
мало на что поменяешь, ибо под предлогом перехода на темки на CSS из GTK
внезапно выкинули [1] API, под который написано все самое вкусное. Но
вот значки на панели инструментов, право, конские.
Казалось бы, что может быть проще, чем поменять размер значков? Но нет —
начиная с версии 3.10 выкинули половину настроечных опций, что раньше
можно писать в ~/.config/gtk-3.0/settings.ini, среди них и
gtk-toolbar-icon-size [2].
Выкинуть-то выкинули, а чтоб добавили что-нибудь ей на замену в CSS, я
не нахожу. У GtkToolbar есть свойство icon-size [3], но насколько я
понял, оно *не* стилевое, то есть может быть установлено только вызовом
функции, но не посредством ~/.config/gtk-3.0/gtk.css. Впрочем, я на
всякий случай попробовал:
* { -GtkToolbar-icon-size: GTK_ICON_SIZE_SMALL_TOOLBAR; }
— эффекта не дает.
Ответы на этот вопрос в Сети делятся на данные до выхода GTK 3.10 [4] и
на многозначительное молчание после такового [5][6].
В итоге в порядке локального решения, я конечно заменил в
gtk/gtktoolbar.c [7]
#define DEFAULT_ICON_SIZE GTK_ICON_SIZE_LARGE_TOOLBAR
на
#define DEFAULT_ICON_SIZE GTK_ICON_SIZE_SMALL_TOOLBAR
и пересобрал.
Но вообще хотелось бы знать, я (и не я один) просто не в состоянии
постигнуть изящества решений разработчиков Гнома, или править исходники
— действительно единственный вариант.
[1]: https://bugzilla.gnome.org/show_bug.cgi?id=735211
[2]:
https://developer.gnome.org/gtk3/stable/GtkSettings.html#GtkSettings--gtk-toolbar-icon-size
[3]:
https://developer.gnome.org/gtk3/stable/GtkToolbar.html#GtkToolbar--icon-size
[4]:
http://askubuntu.com/questions/201987/how-do-i-force-a-16x16-icon-size-for-toolbar-icons-in-gtk-3
[5]:
https://unix.stackexchange.com/questions/150410/change-icon-sizes-in-gtk-3-applications
[6]: https://www.linux.org.ru/forum/desktop/11058838
[7]:
https://sources.debian.net/src/gtk%2B3.0/3.14.5-1%2Bdeb8u1/gtk/gtktoolbar.c/
Reply to: