Je jette un oeil dans un moment, merci.
Le 2 février 2010 15:21, Jean-Michel OLTRA <[email protected]>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 [email protected] > En cas de soucis, contactez EN ANGLAIS [email protected] > > -- cerdocyon
