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
--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists
Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers [email protected]
En cas de soucis, contactez EN ANGLAIS [email protected]
