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!
--
Pensez à lire la FAQ de la liste avant de poser une question :
http://wiki.debian.net/?DebianFrench
Pensez à rajouter le mot ``spam'' dans vos champs "From" et "Reply-To:"
To UNSUBSCRIBE, email to debian-user-french-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Sébastien Lardière
Le Thu, 12 Aug 2004 14:14:21 +0200 zenetoun a écrit :
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!
qtconfig pour les applis Qt non-Kde et kcontrol pour les applis Kde
-- Sébastien Lardière Jabber : Web : <url:http://seb.ouvaton.org/>
Le Thu, 12 Aug 2004 14:14:21 +0200
zenetoun <zenetoun@hotpop.com> a écrit :
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!
qtconfig pour les applis Qt non-Kde et
kcontrol pour les applis Kde
--
Sébastien Lardière
Jabber : sebl44@jabber.org
Web : <url:http://seb.ouvaton.org/>
Le Thu, 12 Aug 2004 14:14:21 +0200 zenetoun a écrit :
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!
qtconfig pour les applis Qt non-Kde et kcontrol pour les applis Kde
-- Sébastien Lardière Jabber : Web : <url:http://seb.ouvaton.org/>
