web-dev-qa-db-fra.com

Comment réduire la taille des polices dans le panneau supérieur?

Je peux utiliser Ubuntu Tweak pour changer la taille de la police en arrière-plan mais je ne peux pas changer cela:

pic

Quelqu'un peut-il aider?

2
Gregory

Ouvrez un terminal avec et utilisez cette commande

gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Ubuntu Bold 9'

Cela changera la police en Ubuntu bold avec la taille 9.

Voici la capture d'écran:

enter image description here

3
Anwar

Ouvrez les paramètres système, par exemple en le recherchant dans le Dash: System Settings Ouvrez les options d'accès universel: Universal Access Ici, vous pouvez choisir entre quatre tailles de texte différentes: Text size

2
bessman