probleme de police kde
Bonjour,
j'aimerais savoir si quelqu'un sait comment changer la taille d'une
police pour les logiciels kde quand on est sous gnome. Je m'explique je
suis sous gnome mais j'utilise pour le travail kate (editeur de texte
kde) malheureusement depuis quelques temps kate s'affiche avec une
police enorme ca doit etre du 14 au moins et je sais pas comment reduire
cette taille, a part installer completement kde puis redemarrer une
session sous kde, mais bon y a certainement plus simple. J'ai chercher
dans les fichiers de config de $HOME/.kde mais j'ai pas trouve, j'ai
peut etre pas cherche au bon endroit.
Merci!
Reply to: