Le 12463i�me jour apr�s Epoch,
Antoine Hulin �crivait:
> Damien Babilon <[EMAIL PROTECTED]> a �crit :
>
>> Je cherche � r�duire la taille des caract�res dans mes applications.
>> Par exemple, les menus de mozilla, thunderbird, openoffice,... j'y suis
>> d�j� arriv� avec kde, mais je sais pas comment faire avec wmaker...
>
> KDE est environnement de bureau, Window Maker se contente d'�tre un
> gestionnaire de fen�tre. � ma connaissance, le changement de taille de
> police ne fait pas parti de ses comp�tences.
Euh... padutou ... WindowMaker est *aussi* un environnement de
bureau... Mais ne semble pas faire partie de tes comp�tences ;)
Dans /etc/GNUstep/Defaults/WindowMaker tu vas trouver ton
bonheur. Mais c'est system wide. Sinon, dans ~/GNUstep
Pour ce qui concerne les polices d'applis sp�cifiquement KDE ou Gnome,
il faut passer par les paneaux de contr�le respectif de ces env., je
ne sais pas comment faire autrement.
--
Flugg's Law:
When you need to knock on wood is when you realize
that the world is composed of vinyl, naugahyde and aluminum.