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.
Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)
Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)
Modifié en dernier par Cartman26 le sam. 1 juin 2019 23:22, modifié 2 fois.
- cyrille
- Administrateur du site
- Messages : 12438
- Enregistré le : mar. 19 sept. 2017 08:49
- Localisation : Nowhere
- Contact :
Re: Taille de la police trop petite dans menu
C'est quoi ton X ? Cinnamon ? xfce ? Autre ?
Pense à faire une signature, y a un tuto en haut à gauche, qu'on puisse te répondre au mieux
Pense à faire une signature, y a un tuto en haut à gauche, qu'on puisse te répondre au mieux
Re: Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)
Je suis sous Cinnamon.
Re: Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)
Bonjour,
Oui, ben faudrait à ta signature qui n'existe pas pour le moment, donc en profiter pour en faire une
Oui, ben faudrait à ta signature qui n'existe pas pour le moment, donc en profiter pour en faire une
- cyrille
- Administrateur du site
- Messages : 12438
- Enregistré le : mar. 19 sept. 2017 08:49
- Localisation : Nowhere
- Contact :
Re: Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)
pas un pro de cinnamon, mais il me semble que ça se base sur du css
La recommandation est de faire une copie de /usr/share/themes dans ton home : ~/.themes
tu édites cinnamon.css qui gère tout ce qui est GUI
Et tu modifies
En fonction de tes souhaits
Sans doute faut il se logguer / délogguer
(attention c'est de tête les rares fois où j'ai utilisé cinnamon)
La recommandation est de faire une copie de /usr/share/themes dans ton home : ~/.themes
tu édites cinnamon.css qui gère tout ce qui est GUI
Et tu modifies
Code : Tout sélectionner
stage {
font-family: Noto Sans, Sans-Serif;
font-size: 13pt;
color: #f0f0f0; }
Sans doute faut il se logguer / délogguer
(attention c'est de tête les rares fois où j'ai utilisé cinnamon)
- cyrille
- Administrateur du site
- Messages : 12438
- Enregistré le : mar. 19 sept. 2017 08:49
- Localisation : Nowhere
- Contact :
Re: Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)
Sinon fais une recherche en haut à droite, j'ai expliqué un coup en détail comment modifier les CSS de cinnamon