Re: Paramétrage WMaker
Le mercredi 03 février 2010 à 13:53 +0100, Le Cerdocyon a écrit :
> Bonjour,
>
> 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 ?
Regarde dans ~/GNUstep/Default/WindowMaker.
Dans ce fichier on trouve les options :
MenuTextFont
WindowTitleFont
ClipTitleFont
DisplayFont
MenuTitleFont
LargeDisplayFont
IconTitleFont
Est-ce que ça réponds à ta question ?
--
Gilles Crèvecœur
Reply to: