[EMAIL PROTECTED] (Fran�ois TOURDE) a �crit : > Le 12463i�me jour apr�s Epoch, > Antoine Hulin �crivait: > > 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 ;)
On ne dois pas voir la m�me chose derri�re l'expression � environnement de bureau �, pas grave. En fait j'�tais un peu emb�t� pour nommer la chose. Ce que je voulais dire, c'est que Window Maker ne cherche pas a �tre un environnement int�gr� comme KDE ou Gnome. > Dans /etc/GNUstep/Defaults/WindowMaker tu vas trouver ton > bonheur. Mais c'est system wide. Sinon, dans ~/GNUstep S'agit-il de l'option DefaultFontSize dans le fichier WMGLOBAL ? � quoi s'applique-t-elle ? Antoine
