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
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
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
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
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
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
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 debian-user-french-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
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