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: