是否可以为 gnome 面板使用非默认字体的字体。我尝试在 gnome 主题中定义字体,但这不会改变任何内容,如果我在 ~/.config/gtk-3.0/settings.ini 中写入类似以下内容的内容:gtk-font-name = panel-menu=fontname,则不会发生任何变化。
答案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