Duplicata possible :
Comment modifier les polices de caractères et leur taille ?
Pourquoi n'est-il plus possible de changer les thèmes et les polices ?
Réponse
Trop de publicités?
Redian
Points
184
Essayez d'installer l'outil gnome-tweak-tool
sudo apt-get install gnome-tweak-toolIl vous permet de contrôler les polices et les thèmes de votre système, mais n'est pas aussi intuitif pour l'installation de nouveaux thèmes - vous devez le faire manuellement.
De plus, si vous essayez de changer l'arrière-plan du bureau, vous aurez la possibilité de sélectionner un thème de fenêtre.
