Le 12464i�me jour apr�s Epoch, Antoine Hulin �crivait: > [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.
:) ... C'est limite un troll �a. Il est vrai que ce n'est pas un "bureau" classique, � la Windows, mais il faut quand m�me le consid�rer comme tel je pense. > 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. Clair. > S'agit-il de l'option DefaultFontSize dans le fichier WMGLOBAL ? � quoi > s'applique-t-elle ? Cette option est utilis�e par les deux lignes: SystemFont = BoldSystemFont = pour d�finir la taille de la police qui sert, par exemple, � afficher furtivement le nom du bureau quand tu y vas, ou le titre des fen�tres, etc. Mais je ne suis pas s�r de ce que j'avance. Je manipule plut�t les valeurs suivantes de /etc/GNUstep/Default/WindowMaker: WindowTitleFont = MenuTitleFont = MenuTextFont = IconTitleFont = ClipTitleFont = DisplayFont = Surtout la derni�re qui semble avoir une influence plus large. -- When the bosses talk about improving productivity, they are never talking about themselves.
