Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)

Bureaux,conky et autres personnalisations esthétiques.
Répondre
Cartman26
Messages : 2
Enregistré le : sam. 1 juin 2019 14:07

Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)

Message par Cartman26 »

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 :D

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.
Modifié en dernier par Cartman26 le sam. 1 juin 2019 23:22, modifié 2 fois.

Avatar du membre
cyrille
Administrateur du site
Messages : 12291
Enregistré le : mar. 19 sept. 2017 08:49
Localisation : Nowhere
Contact :

Re: Taille de la police trop petite dans menu

Message par cyrille »

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
?séuqartéd sel ruoP / sécnoféd sel ruoP / sreiruréB sel ruoP / ?étéicos elleuQ

https://crust.ovh

zeb
Messages : 16473
Enregistré le : ven. 19 juin 2015 22:13
Localisation : plus ici

Re: Taille de la police trop petite dans menu

Message par zeb »

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 ;)

Cartman26
Messages : 2
Enregistré le : sam. 1 juin 2019 14:07

Re: Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)

Message par Cartman26 »

Je suis sous Cinnamon.

zeb
Messages : 16473
Enregistré le : ven. 19 juin 2015 22:13
Localisation : plus ici

Re: Taille de la police trop petite dans menu (Linux Mint 19.1 Cinnamon)

Message par zeb »

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

Avatar du membre
cyrille
Administrateur du site
Messages : 12291
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)

Message par cyrille »

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

Code : Tout sélectionner

stage {
  font-family: Noto Sans, Sans-Serif;
  font-size: 13pt;
  color: #f0f0f0; }
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)
?séuqartéd sel ruoP / sécnoféd sel ruoP / sreiruréB sel ruoP / ?étéicos elleuQ

https://crust.ovh

Avatar du membre
cyrille
Administrateur du site
Messages : 12291
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)

Message par cyrille »

Sinon fais une recherche en haut à droite, j'ai expliqué un coup en détail comment modifier les CSS de cinnamon
?séuqartéd sel ruoP / sécnoféd sel ruoP / sreiruréB sel ruoP / ?étéicos elleuQ

https://crust.ovh

Répondre