Forum-Francophone-LinuxMint.fr

Salut,

Je suis tout nouveau dans l'univers Linux et plus particulièrement Linux Mint et j'avoue que Windows c'est fini pour moi

J'ai une petite question, comment augmenter la taille de la police dans le menu ? car trop petit à mon goût. J'ai lu qu'on pouvait aller dans "Paramètres système" et "Sélection de polices" et augmenter les différentes tailles des polices (j'ai tout passé en 12 et parfait) et j'ai augmenté le "facteur d'échelle de texte" à 1,3 et ça augmente bien la taille de la police de menu mais en inconvénient, ça augmente tous les textes et par exemple dans Thunderbird, c'est vraiment moche !

Comment augmenter juste le menu donc ? J'ai Mint 19.1 sous Cinnamon et le bureau par défaut (Mint-Y-Dark).

Par avance merci.

Bonjour,

cyrille a écrit : sam. 1 juin 2019 17:44 C'est quoi ton X ? Cinnamon ? xfce ? Autre ?

Et aussi, ajoute le dans le titre

Je suis sous Cinnamon.

Bonjour,
Oui, ben faudrait à ta signature qui n'existe pas pour le moment, donc en profiter pour en faire une