Pages : 1
#1 Le 15/01/2020, à 12:04
- bricoloo
Modifier grosseur caractères (Résolu)
Bonjour
J'aimerais savoir s'il est possible de grossir les caractères des menus, par exemple si je fais un clic droit sur le bureau, les caractères du menu qui s'affiche sont beaucoup trop petits.
Idem pour les caractères du tableau de bord, le fait d'agrandir la zone ne modifie pas la grosseur des caractères.
Version utilisée : Ubuntu 18 Xfce.
Merci de vos réponses.
Dernière modification par bricoloo (Le 15/01/2020, à 19:19)
Hors ligne
#2 Le 15/01/2020, à 12:42
- abelthorne
Re : Modifier grosseur caractères (Résolu)
Paramètres → Apparence → Polices : tu peux choisir une police plus grosse et/ou modifier la valeur dpi personnalisée (qui est grosso modo un facteur global pour la taille des polices).
La police pour la barre de titre des fenêtres se règle dans Paramètres → Gestionnaire de fenêtres.
Il peut y avoir aussi des paramètres par application, elles n'utilisent pas toutes les réglages système.
Hors ligne
#3 Le 15/01/2020, à 19:19
- bricoloo
Re : Modifier grosseur caractères (Résolu)
Merci, c'est exactement cela !
Hors ligne
Pages : 1