É possível configurar a fonte do painel fallback gnome 3?

Question

É possível usar uma fonte para o painel do gnome, que não é a fonte padrão. Eu tentei definir a fonte dentro de um tema gnome, mas isso não muda nada e se eu escrever algo como: gtk-font-name = painel-menu = nome da fonte em ~ / .config / gtk-3.0 / settings.ini nada muda.

    

Answer 1

Você poderia provavelmente fazer isso editando o CSS do painel em ~/.config/gtk-3.0/gtk.css .
Algo como isso pode funcionar:

PanelWidget,
PanelApplet,
PanelToplevel {
    font: Sans 20
}

Não tenho certeza se o seletor está completamente correto. Você pode ver o arquivo de tema do ambiente aqui em /usr/share/themes/Ambiance/gtk-3.0/apps/gnome-panel.css