Como redimensionar o tamanho da fonte na barra de título da janela no gnome?

Question

Por padrão, a barra de títulos da janela no Gnome tem um tamanho de fonte maior. Como posso redimensionar esse tamanho de fonte na barra de título da janela? Eu quero que seja menor como no KDE ou no MS Windows.

    

Answer 1

No Gnome 3, você pode ajustar as fontes da barra de título com gnome-tweak-tool :

Fonts > Window title font

ou dconf-editor :

org > gnome > desktop > wm > preferences :: titlebar-font

ou gsettings (no terminal):

gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Droid Bold 10'

em que Droid Bold é o nome / tipo de sua fonte e 10 é o tamanho. Isso funciona desde que sua barra de título não use fontes do sistema:

gsettings set org.gnome.desktop.wm.preferences titlebar-uses-system-font false

    

Answer 2

Você poderia simplesmente abrir

1. dconf-editor digitando isso no terminal

2. vá para: org > gnome > área de trabalho > interface

3. altere a fonte da barra de título.