Re: fontes par défaut

[Christophe.Martin@sdt.univ-brest.fr]

Bonjour,

Le 15 Fév, Patrice Karatchentzeff a écrit:
> Salut,
> J'ai deux questions : comment savoir quelle était la fonte utilisée
> par défaut auparavant ?
tu peux utiliser xrdb -query | grep -i font
Si il n'y a pas de resource du type '*font', alors chaque application
utilise la/les police d'apres des critère qui lui son propre. Cela peut
inclure de manière non exclusive, et peut être pas exhaustive :
	un application default dans /etc/X11/app-defaults
	une resource X11 du type *toto*font ou toto*font
	un fichier de conf dans /usr/quelquepart ou /etc/ailleurs
	un fichier de conf ~/.xyz
	une police codée en dur dans l'app

Faut savoir que la police nommée fixed est une solution de
repli pour 90% des application X11 "standard".

	Christophe
-- 
char*p="[)1++++++11+(QI1)9191991)9)1)(II1)919Y91)9)1)(AK+9;991+3*(9I1*IY991)Q1\
)(1I1))A91991)Q1)(+)1)1++9;)Q1+(";main(_){while(*p){for(_=*p-32>>3;_;--_)
putchar(' ');if(!(_=*p++-32&7))putchar('\n');else while(_--)printf("_/");}}