Depuis la mise à niveau vers Ubuntu 18.04, quelque chose ne va pas avec ma police Liberation Mono. Lorsque vous sélectionnez du texte dans cette police dans le navigateur, cela ressemble à ceci:
Cela se produit dans tous les navigateurs, sur tous les sites Web, lorsque la police est Liberation Mono. Je peux également le voir dans d'autres applications lors de la définition de la police sur Liberation Mono. Cela semble donc être un problème avec mon système.
Si je change manuellement la police en DejaVu Sans Mono (ou toute autre police) sur la page Web ci-dessus (GitHub, pour ce que cela vaut), le problème disparaît immédiatement:
Ce problème rend le texte surligné ou sélectionné dans Liberation Mono difficile à lire. La police est largement utilisée sur le Web, par exemple. Dans le champ de saisie de texte, je tape simplement cette question et le curseur est trop petit.
Avez-vous des idées sur ce qui pourrait être à l'origine de ce problème et comment le résoudre? Je ne peux pas simplement désinstaller le package fonts-liberation
, car d'autres packages en dépendent.
Apparemment, il s’agit d’un bug dans les packages fonts-liberation
et fonts-liberation2
dans Ubuntu 18.04 . L’installation des versions proposées par bionic de ces packages a résolu le problème pour moi.