Voir la capture d'écran pour un exemple du fonctionnement de toutes les polices de mon système. Heureusement, je peux encore lire les pages web et ce que je tape ici.
Capture d'écran du bureau et ouverture de Windows :
Réponses
Trop de publicités?
Installez d'abord l'indispensable Ajustements (GNOME) si elle n'est pas déjà installée en exécutant
sudo apt install gnome-tweak-toolLancez ensuite Tweaks et allez dans Polices de caractères (très probablement la quatrième en partant du haut dans la barre latérale) et changez toutes les polices en polices de travail. Voir la capture d'écran ci-dessous pour référence :
Cela devrait résoudre le problème de rendu des polices dans le titre de la fenêtre, l'interface, etc.
Mais il se peut que le problème soit toujours présent dans la barre supérieure, le calendrier et la barre de notification, le menu système, etc. Afin de résoudre ce problème, vous pouvez changer le thème Shell dans le menu de l'application. Apparition la section de Tweaks à une avec des polices supportées.
Remarque importante : Vous ne pourrez pas sélectionner un thème Shell installé par défaut dans votre répertoire personnel. Pour cela, vous devrez installer et activer Thèmes des utilisateurs L'extension Shell en premier.
Lopotun
Points
101
J'ai fait toutes les étapes recommandées par @pomsky et ça a réglé tous les problèmes de polices sauf les menus du système. D'après cet article la police de la barre supérieure du Shell de GNOME est définie dans le fichier /usr/share/themes/<your-theme>/gnome-shell/gnome-shell.css en stage->font-family section. Dans mon cas, c'était font-family: Futura Bk bt, Cantarell, Sans-Serif; et ces polices manquaient dans mon système. J'ai installé les polices manquantes, redémarré Ubuntu et voilà, tout fonctionne bien !
