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("_/");}}
