Il y'=E0 un param=E8tre 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=E9trer l'afficha=
ge,
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, =E7a m'aiderait grandement.
Bonjour,<br><br>Il y'=E0 un param=E8tre qui me tord le cerveau depuis p=
as mal de temps, je ne trouve rien sur le sujet sur le net.<br><br>J'ut=
ilise wmaker, wmakerconf et celui d'origine pour param=E9trer l'aff=
ichage, et pas moyen de pouvoir configurer la taille de police<br>
de la barre de menu de toute mes fenetres.<br><br>Je dis bien barre de menu=
(Fichier | Edition | Affichage .... etc...) qui varient selon l'applic=
ation biensur.<br><br>Si quelqu'un trouve ou aurait la solution, =E7a m=
'aiderait grandement.<br>
<br>-- <br>cerdocyon<br><br>
--0016e6d7e06c20908c047e9ac8cb--
--
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
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Jean-Michel OLTRA
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 !
-- 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 En cas de soucis, contactez EN ANGLAIS
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 !
--
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
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 !
Le 2 février 2010 15:21, Jean-Michel OLTRA 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 tem ps, 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 grandemen t.
Les polices sont définies dans le fichier nommé style du thème util isé. Si tu utilises un thème, c'est facile à modifier à la main !
Je jette un oeil dans un moment, merci.<br><br><br><div class="gmail_quot e">Le 2 février 2010 15:21, Jean-Michel OLTRA <span dir="ltr"><<a hr ef="mailto:"> et</a>></span> a écrit :<br> <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br> Bonjour,<br> <br> <br> Le mardi 02 février 2010, cerdo cyon a écrit...<br> <div><div></div><div class="h5"><br> <br> > Il y'à un paramètre qui me tord le cerveau depuis pas m al de temps, je<br> > ne trouve rien sur le sujet sur le net.<br> > J'utilise wmaker, wmakerconf et celui d'origine pour pa ramétrer<br> > l'affichage, et pas moyen de pouvoir configurer la taille d e police<br> > de la barre de menu de toute mes fenetres.<br> > Je dis bien barre de menu (Fichier | Edition | Affichage .... e tc...)<br> > qui varient selon l'application biensur.<br> > Si quelqu'un trouve ou aurait la solution, ça m'aider ait grandement.<br> <br> </div></div>Les polices sont définies dans le fichier nommé style du th ème utilisé.<br> Si tu utilises un thème, c'est facile à modifier à la main !<br > <br> --<br> jm<br> <br> A.E.L. Sarl (R.C.S CASTRES 490843240)<br> <a href="http://www.spidboutic.fr" target="_blank">http://www.spidbouti c.fr</a><br> <font color="#888888"><br> <br> <br> --<br> Lisez la FAQ de la liste avant de poser une question :<br> <a href="http://wiki.debian.org/fr/FrenchLists" target="_blank">http:// wiki.debian.org/fr/FrenchLists</a><br> <br> Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe "<br> vers <a href="mailto:">debian- </a><br> En cas de soucis, contactez EN ANGLAIS <a href="mailto: ebian.org"></a><br> <br> </font></blockquote></div><br><br clear="all"><br>-- <br>cerdocyon<br><br >
--0016e6d7e93afce63e047e9f41cb--
-- 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 En cas de soucis, contactez EN ANGLAIS
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 tem ps, 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 grandemen t.
Les polices sont définies dans le fichier nommé style du thème util isé.
Si tu utilises un thème, c'est facile à modifier à la main !
--
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
Je jette un oeil dans un moment, merci.<br><br><br><div class="gmail_quot e">Le 2 février 2010 15:21, Jean-Michel OLTRA <span dir="ltr"><<a hr ef="mailto:jm.oltra.antispam@espinasse.net">jm.oltra.antispam@espinasse.n et</a>></span> a écrit :<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
Bonjour,<br>
<br>
<br>
Le mardi 02 février 2010, cerdo cyon a écrit...<br>
<div><div></div><div class="h5"><br>
<br>
> Il y'à un paramètre qui me tord le cerveau depuis pas m al de temps, je<br>
> ne trouve rien sur le sujet sur le net.<br>
> J'utilise wmaker, wmakerconf et celui d'origine pour pa ramétrer<br>
> l'affichage, et pas moyen de pouvoir configurer la taille d e police<br>
> de la barre de menu de toute mes fenetres.<br>
> Je dis bien barre de menu (Fichier | Edition | Affichage .... e tc...)<br>
> qui varient selon l'application biensur.<br>
> Si quelqu'un trouve ou aurait la solution, ça m'aider ait grandement.<br>
<br>
</div></div>Les polices sont définies dans le fichier nommé style du th ème utilisé.<br>
Si tu utilises un thème, c'est facile à modifier à la main !<br >
<br>
--<br>
jm<br>
<br>
A.E.L. Sarl (R.C.S CASTRES 490843240)<br>
<a href="http://www.spidboutic.fr" target="_blank">http://www.spidbouti c.fr</a><br>
<font color="#888888"><br>
<br>
<br>
--<br>
Lisez la FAQ de la liste avant de poser une question :<br>
<a href="http://wiki.debian.org/fr/FrenchLists" target="_blank">http:// wiki.debian.org/fr/FrenchLists</a><br>
<br>
Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe "<br>
vers <a href="mailto:debian-user-french-REQUEST@lists.debian.org">debian- user-french-REQUEST@lists.debian.org</a><br>
En cas de soucis, contactez EN ANGLAIS <a href="mailto:listmaster@lists.d ebian.org">listmaster@lists.debian.org</a><br>
<br>
</font></blockquote></div><br><br clear="all"><br>-- <br>cerdocyon<br><br >
--0016e6d7e93afce63e047e9f41cb--
--
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
Le 2 février 2010 15:21, Jean-Michel OLTRA 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 tem ps, 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 grandemen t.
Les polices sont définies dans le fichier nommé style du thème util isé. Si tu utilises un thème, c'est facile à modifier à la main !
Je jette un oeil dans un moment, merci.<br><br><br><div class="gmail_quot e">Le 2 février 2010 15:21, Jean-Michel OLTRA <span dir="ltr"><<a hr ef="mailto:"> et</a>></span> a écrit :<br> <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br> Bonjour,<br> <br> <br> Le mardi 02 février 2010, cerdo cyon a écrit...<br> <div><div></div><div class="h5"><br> <br> > Il y'à un paramètre qui me tord le cerveau depuis pas m al de temps, je<br> > ne trouve rien sur le sujet sur le net.<br> > J'utilise wmaker, wmakerconf et celui d'origine pour pa ramétrer<br> > l'affichage, et pas moyen de pouvoir configurer la taille d e police<br> > de la barre de menu de toute mes fenetres.<br> > Je dis bien barre de menu (Fichier | Edition | Affichage .... e tc...)<br> > qui varient selon l'application biensur.<br> > Si quelqu'un trouve ou aurait la solution, ça m'aider ait grandement.<br> <br> </div></div>Les polices sont définies dans le fichier nommé style du th ème utilisé.<br> Si tu utilises un thème, c'est facile à modifier à la main !<br > <br> --<br> jm<br> <br> A.E.L. Sarl (R.C.S CASTRES 490843240)<br> <a href="http://www.spidboutic.fr" target="_blank">http://www.spidbouti c.fr</a><br> <font color="#888888"><br> <br> <br> --<br> Lisez la FAQ de la liste avant de poser une question :<br> <a href="http://wiki.debian.org/fr/FrenchLists" target="_blank">http:// wiki.debian.org/fr/FrenchLists</a><br> <br> Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe "<br> vers <a href="mailto:">debian- </a><br> En cas de soucis, contactez EN ANGLAIS <a href="mailto: ebian.org"></a><br> <br> </font></blockquote></div><br><br clear="all"><br>-- <br>cerdocyon<br><br >
--0016e6d7e93afce63e047e9f41cb--
-- 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 En cas de soucis, contactez EN ANGLAIS
--
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
-- 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 En cas de soucis, contactez EN ANGLAIS
Gilles Crèvecœur
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 En cas de soucis, contactez EN ANGLAIS
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 debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org
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 En cas de soucis, contactez EN ANGLAIS
Jean-Michel OLTRA
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...
--
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
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 ?
Si je traduit les indentations qui correspondent au fichier, je ne pense pa s, mais je jette un oeil.
-- Cerdocyon 0x773B483BAC099326
--HlL+5n6rz5pIUxbD Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline
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 ?
Si je traduit les indentations qui correspondent au fichier, je ne pense pa s, mais je jette un oeil.
--
Cerdocyon
0x773B483BAC099326
--HlL+5n6rz5pIUxbD
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature
Content-Disposition: inline
--
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
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 ?
Si je traduit les indentations qui correspondent au fichier, je ne pense pa s, mais je jette un oeil.
-- Cerdocyon 0x773B483BAC099326
--HlL+5n6rz5pIUxbD Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Digital signature Content-Disposition: inline
--
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