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

Re: Paramétrage WMaker



Je jette un oeil dans un moment, merci.


Le 2 février 2010 15:21, Jean-Michel OLTRA <jm.oltra.antispam@espinasse.net> a écrit :

   Bonjour,


Le mardi 02 février 2010, cerdo cyon a écrit...


>    Il y'à un paramètre qui me tord le cerveau depuis pas mal de temps, je
>    ne trouve rien sur le sujet sur le net.
>    J'utilise wmaker, wmakerconf et celui d'origine pour paramétrer
>    l'affichage, et pas moyen de pouvoir configurer la taille de police
>    de la barre de menu de toute mes fenetres.
>    Je dis bien barre de menu (Fichier | Edition | Affichage .... etc...)
>    qui varient selon l'application biensur.
>    Si quelqu'un trouve ou aurait la solution, ça m'aiderait grandement.

Les polices sont définies dans le fichier nommé style du thème utilisé.
Si tu utilises un thème, c'est facile à modifier…à la main !

--
jm

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



--
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 debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org




--
cerdocyon


Reply to: