Texte de la barre de titre de la fenêtre démesurément grand [dupliquer]
Nov 20 2020
J'ai récemment eu de nombreux bugs visuels car j'ai changé le nom du nom d'utilisateur de mon dossier personnel, l'un d'entre eux est un texte de barre de titre plus grand que d'habitude. Malheureusement, je n'ai pas encore trouvé de moyen de modifier cela, alors je suis venu ici pour demander à Ubuntu comment.

Réponses
1 MartinPrado Nov 20 2020 at 04:47
Nevermind, 5 minutes de plus de recherche et j'ai trouvé une commande dans une autre question: Comment puis-je augmenter la taille de la police du titre de la fenêtre? (demandant ironiquement l'oposite).
C'est la commande si quelqu'un a mon problème à l'avenir:
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Ubuntu Bold 11'