Возможно ли установить gnome 3 запасной шрифт панели

Можно ли использовать шрифт для панели gnome, который не является шрифтом по умолчанию. Я попытался определить шрифт внутри темы gnome, но это ничего не меняет, и если я напишу что-то вроде: gtk-font-name = panel-menu=fontname в ~/.config/gtk-3.0/settings.ini, ничего не изменится,

Источник

1 ответ

Решение

Вы могли бы сделать это, отредактировав CSS для панели в ~/.config/gtk-3.0/gtk.css,
Нечто подобное может работать:

PanelWidget,
PanelApplet,
PanelToplevel {
    font: Sans 20
}

Я не уверен, что у меня полностью правильный селектор. Вы можете посмотреть файл темы Ambiance здесь на /usr/share/themes/Ambiance/gtk-3.0/apps/gnome-panel.css

Источник
Другие вопросы по тегам