je suis un nouvel utilisateur très satisfait de Mint 19.1 Cinnamon après plus de 10 années d'expériences diverses sous Ubuntu-Gnome. Mais Cinnamon m'a séduit.
Je viens aussi de tester Mint XFCE et constate qu'on peut y modifier les caractères de l'affichage "Date - Heure" et surtout en modifier la taille (trop petite à mon avis sous Cinnamon)
Ma question banale :
- Comment modifier les styles de fonts et surtout comment augmenter la taille sous Cinnamon ? Est-ce possible ?
Bien cordialement.