Возможно ли установить gnome 3 запасной шрифт панели
Можно ли использовать шрифт для панели gnome, который не является шрифтом по умолчанию. Я попытался определить шрифт внутри темы гнома, но это ничего не меняет, и если я напишу что-то вроде: .
0
задан user43787
20 February 2012 в 15:15
поделиться
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
0
ответ дан Oli
20 February 2012 в 15:15
поделиться