Existem várias coisas que você pode fazer para melhorar as barras de título no GNOME 3.
1. preenchimento
A configuração para o preenchimento é controlada neste arquivo XML de metacity, /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml
.
-
Abra uma janela de terminal
$ sudo sed -i "/title_vertical_pad/s/value=\"[0-9]\{1,2\}\"/value=\"0\"/g" \ /usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml
-
Ativa Alt + F2
- digite
restart
- pressione Enter
Exemplo
antes
depois
2. gnome-tweak-tool
Esta ferramenta permite personalizar a fonte que deve ser usada para a barra de título.
$ gnome-tweak-tool
screenshot
3. dconf-editor
Você também pode alterá-lo usando dconf-editor
.
$ dconf-editor
Em seguida, navegue pela hierarquia da seguinte forma:
org > gnome > desktop > wm > preferences :: titlebar-font
screenshot
4.gsettings
Vocêpodeusaroscomandosget
eset
paragsettings
paradescobrirquaisinformaçõesdabarradetítuloestãosendousadas.
acertar
$gsettingsgetorg.gnome.desktop.wm.preferencestitlebar-font'CantarellBold8'
definirconfigurações
$gsettingssetorg.gnome.desktop.wm.preferencestitlebar-font'CantarellBold10$
Referências
Gnome 3 Massive Title Bar - Como redimensionar o tamanho da fonte na janela barra de título no gnome?