Je constate que souvent, après un réveil après une mise en veille sur Ubuntu GNOME 16.04 avec GNOME 3.20 (je n'ai trouvé ce problème que sur la dernière version, mais je n'ai pas essayé avec GNOME 3.18 sur 16.04), j'obtiens cet étrange problème de police qui ne peut pas être résolu en redémarrant. gnome-shell et apparemment seulement en redémarrant toute ma machine :
Je ne pense pas qu'il s'agisse d'un problème de thème, car j'ai essayé tous les thèmes intégrés (y compris les versions sombre et claire) et le problème est le même pour tous. Bien que cela ne semble pas affecter gnome-shell c'est-à-dire la barre supérieure, l'aperçu des activités, etc., ne sont pas affectées pour une raison quelconque. Alors, quelle pourrait être la cause de ce problème et comment puis-je le résoudre ou le contourner ?
Mise à jour des informations :
J'ai jeté un coup d'œil à 本答 mais les seules options de l gnome-tweak-tool pour Antialiasing sont Rgba , None et Grayscale mais aucun d'entre eux ne semble avoir d'effet sur le problème. Y a-t-il quelque chose qui m'échappe ?
