Re: wmaker : taille des polices
Le 12559ième jour après Epoch,
Jean-Michel OLTRA écrivait:
> bonjour,
>
>
> Le vendredi 21 mai 2004, Jean-Luc Coulon (f5ibh) a écrit...
>
>
>> Je peux, bien sûr demander à augmenter la taille des caractères dans
>> les pages visitées ou dans le contenu des messages depuis les
>> paramètres de ces logiciels mais ça ne change pas la taille des
>> caractères de l'application proprement dite : texte des menus,
>> navigateur de fichier s'il y en a....
>
>> Un truc ?
>
> Si c'est du gtk, il y a le ~/.gtkrc je pense, mais pour ce qui est de
> mettre dedans...
Perso, j'y ai mis des trucs dedans, mais ça marche pas top !!
En fait, j'ai modifié mon .gtkrc.mine avec:
/------ .gtkrc.mine ------
| style "gtk-default-iso-8859-15" {
| fontset = "-*-helvetica-medium-r-normal--10-*-*-*-*-*-iso8859-1,\
| -*-arial-medium-r-normal--10-*-*-*-*-*-iso8859-1,\
| -*-helvetica-medium-r-normal--10-*-*-*-*-*-iso8859-15,\
| -*-arial-medium-r-normal--10-*-*-*-*-*-iso8859-15,*-r-*"
| }
| class "GtkWidget" style "gtk-default-iso-8859-15"
|
| style "user-font"
| {
| font="-adobe-helvetica-medium-r-normal-*-*-80-*-*-p-*-iso8859-9"
| }
| widget_class "*" style "user-font"
\------------------------
Mais je suis obligé de lancer "gnome-control-<TAB>" à chaque début de
session, et de cliquer sur "Polices" pour que les polices soient
retaillées aux bonnes valeurs.
Je fais la bise à celui qui me dit pourquoi c'est pas pris au
démarrage. A condition que ce soit une belle blonde à forte... hum,
bon, je sors...
--
When the fog came in on little cat feet last night, it left these little
muddy paw prints on the hood of my car.
Reply to: