[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Paramétrage WMaker



    Bonjour,


Le mercredi 03 février 2010, Le Cerdocyon a écrit...


> Je n'utilise pas de theme particulier, à part le mien... bon en tout
> j'ai fait comme si j'en avait un et est sauvegardé le mien.

> J'ai un fichier qui c'est placé dans :~/GNUstep/Library/WindowMaker/Themes

> Rien de bien probant pour changer les polices... J'ai d'ailleurs pour voir changer deux ou trois paramètres dedans, rien...

> Tu auais une autre piste ?

Non. Ci joint un extrait d'un fichier style :

ClipTitleFont = "-*-helvetica-bold-r-normal-*-10-*-*-*-*-*-*-*";
WindowTitleFont = "-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*";
MenuTitleFont = "-*-helvetica-bold-r-normal-*-12-*-*-*-*-*-*-*";
MenuTextFont = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*";
IconTitleFont = "-*-helvetica-medium-r-normal-*-8-*-*-*-*-*-*-*";
DisplayFont = "-*-helvetica-medium-r-normal-*-12-*-*-*-*-*-*-*";

Tu vois donc que c'est paramétrable.

-- 
jm

A.E.L. Sarl (R.C.S CASTRES 490843240)
http://www.spidboutic.fr




Reply to: