OVH Cloud OVH Cloud

taille de police

2 réponses
Avatar
kohzak
Bonjour,

Une question sur un probleme sans doute connu :

J'ai une testing avec xfce4 et apres avoir installer gdm, mes polices
ont changées de taille, grossi en l'occurence, ce qui m'a un peu pourri
l interface graphique.
Alors ma question est : comment changer la taille des polices sous xfce4.

Est ce lié a xfree86, à xfce4 , a gtk ?

Bref, je vois pas ou allez chercher pour changer cela.

Merci à vous pour les idées et infos

koh


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

2 réponses

Avatar
G(P)L
kohzak a écrit :
Bonjour,

Une question sur un probleme sans doute connu :

J'ai une testing avec xfce4 et apres avoir installer gdm, mes polices
ont changées de taille, grossi en l'occurence, ce qui m'a un peu pour ri
l interface graphique.
Alors ma question est : comment changer la taille des polices sous xfce 4.

Est ce lié a xfree86, à xfce4 , a gtk ?

Bref, je vois pas ou allez chercher pour changer cela.

Merci à vous pour les idées et infos

koh






Je ne connais pas xfce, mais à prioris je dirai que ton problème peut se
résoudre en configurant les polices dans xfce directement si tu parles
des pb de polices du bureau.
http://www.loculus.nl/xfce/documentation/docs-4.2/xfwm4.html#wm-style

Guillaume (Porki) Lehmann
Avatar
kohzak
En fait j ai reussi à les modifier depuis, justement en passant par le
panneau de config de xfce4.
Par contre certain application (ark, thunderbird, K3b et d autres) n'ont
pas pris en compte les changements et continu d'avoir des grosses
polices. Alors j imagine qu'elle ne dependent pas de xfce mais peut etre
de gtk mais je voudrai avoir des eclairssissement dessus.

thx

G(P)L a écrit :

kohzak a écrit :

Bonjour,

Une question sur un probleme sans doute connu :

J'ai une testing avec xfce4 et apres avoir installer gdm, mes polices
ont changées de taille, grossi en l'occurence, ce qui m'a un peu pourri
l interface graphique.
Alors ma question est : comment changer la taille des polices sous
xfce4.

Est ce lié a xfree86, à xfce4 , a gtk ?

Bref, je vois pas ou allez chercher pour changer cela.

Merci à vous pour les idées et infos

koh






Je ne connais pas xfce, mais à prioris je dirai que ton problème peut
se résoudre en configurant les polices dans xfce directement si tu
parles des pb de polices du bureau.
http://www.loculus.nl/xfce/documentation/docs-4.2/xfwm4.html#wm-style

Guillaume (Porki) Lehmann







--
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
with a subject of "unsubscribe". Trouble? Contact