Depuis 2 jours, la #police du #shell (Activités, titre de fenêtre, date, heure, pourcentage de batterie, etc) est passé en #gras ! Je n'ai pas bricoler mon interface, pas plus que la police qui est toujours celle par défaut. Je n'ai pas compris pourquoi ça a changé comme ça.
La seul chose que j'ai fait, ce sont les mises à jours système, mais il n'y avait rien dans les paquets me semblait suspect.
Avez-vous une idée svp ?
Merci !
#font #system #linux #ubuntu

#Question #informatique #Gnome3