Taille des caractères dans le panneau sous Cinnamon

[Papyrus]

Bonjour,
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 ?

Merci à vous.
Bien cordialement.

[Papyrus]

Qui cherche trouve !
Personne n'a trouvé ? Je croyais que sous Linux, tout était configurable ?
Maintenant, j'en suis certain, convaincu une fois de plus.
La solution, je vous la livre volontiers :
- Tu ouvres /usr/share/themes
- Tu cherches ton thème utilisé (chez moi Mint-Y-Dark)
- Tu l'ouvres en tant qu'administrateur
- Tu ouvres cinnamon.ccs
- Tu cherches ".panel-top, .panel-bottom, .panel-left, .panel-right"
- Sous font-size: 1em, tu modifies par exemple en 1.5em ou plus grand selon tes goûts

Autre possibilité éventuelle: tout au début du fichier cinnamon.css :
- font-family: Noto sans, Sans-Serif
- font-size: 9 pt;
Cette valeur de font-size peut également être modifiée et éventuellement apporter une solution au problème.

Après redémarrage, voilà qui est fait.

Cordialement
Papyrus

[arghlub]

Salut,

Merci de ton retour, ça pourra être utile à d'autres utilisateurs de Cinnamon

À ce propos (Cinnamon), j'ai modifié ton titre pour qu'il soit plus précis.

[zeb]

Personne n'a trouvé ? Je croyais que sous Linux, tout était configurable ?

ben si toi t'as trouvé, donc c'est bien configurable
Mais aussi et peut être dans le centre de contrôle → sélection de polices, puis modifier le facteur d’échelle du texte.
Bien sur c'est general, mais si on ne voit pas l'heure du TB on ne voit pas le reste ...
Non ?

Mais merci quand même du retour